Coding agent · CLI / MCP

Forall

Quick answer: Developers who want spec-driven code plus machine-checkable proofs (TS/Java/Rust), either as a CLI agent or MCP verify-only beside Cursor/Claude Code/Codex.

Best for

Developers who want spec-driven code plus machine-checkable proofs (TS/Java/Rust), either as a CLI agent or MCP verify-only beside Cursor/Claude Code/Codex.

Skip if

You need a mature multi-language agent ecosystem today, or you only want vibe scaffolding without proof/verification.

Experimental

Pros

Spec-driven coding agent that generates code alongside machine-checkable proofs (TypeScript, Java, Rust); full CLI workflow or MCP verify-only while staying in Cursor/Claude Code/Codex; Apache-2.0.

Cons

Early Astrio project (small public footprint); language coverage still limited; binary release required for CLI install.

Facts

Locality:: Local-first
Surfaces:: CLI
Maturity:: Experimental
BYOK:: Bring your own API key
Open source:: Source available
MCP:: Model Context Protocol support

Agent standards & memory

AGENTS.md: PartialSKILL.md: PartialRules / memory: Spec/proof artifacts; verify reports via MCP.OSS CLI; Forall account API key or BYOK (OpenAI/OpenRouter).

Visit official site

Related tools

Someone asks you about vibe-coding software? Share this site with them — we are adding more useful data regularly. agents.dancingteeth.net

← Back to full tool directory