AlphaPeu commune
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.
- Propriétaire
- astrio-labs (organisation)
- Étoiles
- Étoiles : 561
- Forks
- Forks : 32
- Langage
- Rust
- Licence
- Apache-2.0
- Création
- 2025
- Sujets
- javarusttypescriptcagent-frameworkagent-orchestration
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Rust
Tous les dépôts Rust- rex-rs/rexÉtoiles : 561RustAlpha
- hiroppy/tmux-agent-sidebarÉtoiles : 561RustAlpha
- cinnabar-mc/cinnabarÉtoiles : 561RustAlpha
- three-rs/threeÉtoiles : 561RustAlpha
- bokuweb/docx-rsÉtoiles : 561RustAlpha
- tjdevries/vim9jitÉtoiles : 561RustAlpha