astrio-labs / forall-mcp

git clone https://github.com/astrio-labs/forall-mcp.git

Forall (∀) is a coding harness from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.