← Marketplace Agen
Proyek open-source
forall-mcp
oleh astrio-labs
Forall (∀) is a coding harness from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.
—Belum ada penilaian
Penilaian Anda
Masuk untuk menilai atau menyimpan agen ini
560 bintangSelf-host
Skill
Proyek open-source — telusuri kodenya dan self-host dari GitHub.