Forall
by astrio-labs
Generate spec-driven code with machine-checkable proofs to ensure software correctness.
What it does
Forall connects your AI coding agent to a hosted verification service that ensures the code generated adheres to a formal specification. It allows AI agents (like Cursor or Claude Code) to verify their edits against proofs, significantly reducing bugs in complex logic.
Tools
verify: Validates current workspace changes against the project's formal specifications and proofs.init: Initializes a Forall project within a git repository.
Installation
Add the following to your claude_desktop_config.json:
{
"mcpServers": {
"forall": {
"command": "npx",
"args": ["-y", "@astrio/forall-mcp"],
"env": {
"FORALL_API_KEY": "your_api_key_here"
}
}
}
}
Supported hosts
- Claude Desktop
- Cursor
- Claude Code
- Codex
Quick install
npx -y @astrio/forall-mcpInformation
- Pricing
- freemium
- Published
- 7/28/2026
- stars
- 0
Categories
Choose your AI client and follow the steps below.
Codex
Add to AGENTS.md or mcp config entry.Cursor
Add npx -y @astrio/forall-mcp to MCP settings with FORALL_API_KEY env var.Claude Desktop
{
"mcpServers": {
"forall": {
"command": "npx",
"args": ["-y", "@astrio/forall-mcp"],
"env": {
"FORALL_API_KEY": "your_api_key_here"
}
}
}
}Related Apps
FinanceToolkit
MCP ServerProfessional-grade financial analysis toolkit for equities, options, and risk management.
DiffSitter MCP
MCP ServerAI-powered structural code navigation using tree-sitter ASTs for semantic understanding across 14+ languages.
OpenAI Apps SDK Examples
MCP AppOfficial example gallery of interactive MCP widgets for ChatGPT — 3D viewers, maps, carousels, shopping carts, and more.
Human MCP
MCP ServerGive AI agents human-like senses: visual analysis, image/video generation, speech synthesis, browser automation, and advanced reasoning — 29 MCP tools in one se
Containarium
MCP ServerSelf-hostable agent runtime with SSH-native isolation, eBPF egress policy, and MCP-native CLI.
Shopify MCP Server
MCP ServerDirect interaction with Shopify store data via GraphQL API for managing products, customers, and orders.
Git MCP Server
MCP ServerFull-featured Git MCP server exposing 28 tools for AI agents to clone, commit, branch, diff, merge, rebase, and more via STDIO or Streamable HTTP.
CodexPotter
MCP ServerAutonomous reconciliation loop that drives Codex to align your codebase with instructed states.