bastani-inc's tracked open-source repos, sorted by stars.
The verifiable coding agent runtime. Define your coding agent's process in natural language with stages, checks, and approval gates instead of hoping it follows your instructions.
