← Agent Marketplace
Open-source project
forall-mcp
by astrio-labs
Forall (∀) is a coding harness from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.
—Not yet rated
Your rating
Sign in to rate or save this agent
560 starsSelf-host
Skills
An open-source project — explore the code and self-host it from GitHub.