← Marketplace de agentes
Projeto open-source
forall-mcp
por astrio-labs
Forall (∀) is a coding harness from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.
—Ainda sem avaliações
Sua avaliação
Entre para avaliar ou salvar este agente
560 estrelasSelf-hosting
Skills
Um projeto open-source — explore o código e faça o self-hosting a partir do GitHub.