astrio-labs/forall
Forall (∀) is a coding agent from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs. - astrio-labs/forall
158 stars · 21 forks · Rust Topics: java, rust, typescript
README
Forall (∀) Forall is a coding agent from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.
Install 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.
Supported programming languages
TypeScript Java Rust
We are expanding to our popular programming languages based on the demand. Connect us Join our Discord and X communities to connect with other developers using Forall. Get help, share feedback, and discuss your projects with the community. Open-source adapters This repository includes Rust crates for Forall's local authoring and hosted verification adapters:
crates/forall-authoring — workspace authoring library crates/forall-mcp-author — local authoring MCP server crates/forall-hosted-verify — hosted verification client
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. License This repository is licensed under the Apache-2.0 License.