Coding agent · CLI / MCP

Forall

Forall is a CLI / MCP in the 2026 agents.dancingteeth catalog. 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.

Last updated

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.

Who it fits

  • 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.
  • Terminal-first engineers who live in the shell and git
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).

Compare one neighbor first

Vendor pages sell hard. Read one alternative on this site, then leave for the official link if the fit still holds.

Alternatives

Frequently asked questions

What is Forall?

Forall is a CLI / MCP covered in the agents.dancingteeth 2026 catalog. 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.

Who is Forall 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.

When should I skip Forall?

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

What are the main trade-offs of Forall?

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. Cons: Early Astrio project (small public footprint); language coverage still limited; binary release required for CLI install.

Does Forall support AGENTS.md, SKILL.md, or MCP?

This card lists AGENTS.md as Partial, SKILL.md as Partial, and rules/memory as Spec/proof artifacts; verify reports via MCP.. Free options: OSS CLI; Forall account API key or BYOK (OpenAI/OpenRouter)..

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