Forall
par astrio-labs
Générez du code piloté par des spécifications avec des preuves vérifiables par machine pour garantir la correction logicielle.
Ce qu'il fait
Forall connecte votre agent de codage IA à un service de vérification hébergé qui garantit que le code généré respecte une spécification formelle. Il permet aux agents IA (comme Cursor ou Claude Code) de vérifier leurs modifications par des preuves, réduisant ainsi considérablement les bugs dans les logiques complexes.
Outils
verify: Valide les modifications actuelles de l'espace de travail par rapport aux spécifications formelles et aux preuves du projet.init: Initialise un projet Forall au sein d'un dépôt git.
Installation
Ajoutez les éléments suivants à votre fichier claude_desktop_config.json :
{
"mcpServers": {
"forall": {
"command": "npx",
"args": ["-y", "@astrio/forall-mcp"],
"env": {
"FORALL_API_KEY": "votre_clé_api_ici"
}
}
}
}
Hôtes supportés
- Claude Desktop
- Cursor
- Claude Code
- Codex
Installation rapide
npx -y @astrio/forall-mcpInformations
- Tarification
- freemium
- Publié
- 7/28/2026
- étoiles
- 0
Catégories
Choisissez votre client IA et suivez les étapes ci-dessous.
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"
}
}
}
}Apps similaires
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.