AlphaUncommon
astrio-labs/forall-mcp
Forall (∀) is a coding harness from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.
- Owner
- astrio-labs (organization)
- Stars
- Stars: 561
- Forks
- Forks: 32
- Language
- Rust
- License
- Apache-2.0
- Created
- 2025
- Topics
- javarusttypescriptcagent-frameworkagent-orchestration
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Rust
All Rust repos- rex-rs/rexStars: 561RustAlpha
- hiroppy/tmux-agent-sidebarStars: 561RustAlpha
- cinnabar-mc/cinnabarStars: 561RustAlpha
- three-rs/threeStars: 561RustAlpha
- bokuweb/docx-rsStars: 561RustAlpha
- tjdevries/vim9jitStars: 561RustAlpha