A coding agent that checks its code, challenges its specs, and flags where they may miss your request.
mutation-testing verification request-review formal-methods dafny coding-agent lemmascript contract-strength
-
Updated
Nov 11, 2026 - TypeScript