🐙TakoAPI
← Marketplace de agentes
Projeto open-source

forall

por astrio-labs

Forall (∀) is a coding agent 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

597 estrelasSelf-hosting

Skills

Um projeto open-source — explore o código e faça o self-hosting a partir do GitHub.