Forall is a coding agent from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.
curl -fsSL https://forall.astrio.app/install.sh | bash
Add ~/.local/bin
to your PATH
if needed, then run forall --version
.
Note:A binary release must exist on[GitHub Releases]before install succeeds.
- TypeScript
- Java
- Rust
We are expanding to our popular programming languages based on the demand.
Join our Discord and X communities to connect with other developers using Forall. Get help, share feedback, and discuss your projects with the community.
This repository includes Rust crates for Forall's local authoring and hosted verification adapters:
— workspace authoring librarycrates/forall-authoring
— local authoring MCP servercrates/forall-mcp-author
— hosted verification clientcrates/forall-hosted-verify
See crates/README.md and the architecture docs
for how these relate to the standalone forall
binary.
Build and test the crates:
cargo test --workspace
The full agent runtime (TUI, turn loop, sandbox) is distributed only as the prebuilt binary above.
This repository is licensed under the Apache-2.0 License.