Leanstral: Open-Source AI Agent for Trustworthy Coding - prijm