← Маркетплейс агентов
Open-source проект
forall-mcp
от astrio-labs
Forall (∀) is a coding harness from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.
—Ещё нет оценок
Ваша оценка
Войдите, чтобы оценить или сохранить агента
560 звёздСвой хостинг
Навыки
Open-source проект — изучите код и разверните его самостоятельно с GitHub.