AgentDish directory
proofs
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#443
↓ -6
Forall
Forall is an AI coding agent from Astrio that generates spec-driven code with machine-checkable proofs. The repo shows two usage paths: a CLI workflow and a hosted MCP verify-only mode for tools like Cursor, Claude Code, or Codex. |
AI Development / Coding Agent | 84 | ↓ -6 | 45 hours ago | Details |