CLEARSY/atelierb-mcp

MCP Server for Atelier B - Integrating Claude AI with formal methods

0Stars on the repository
1Mods indexed here, across every type
15d agoLast push, which is what freshness is scored on
AGPL-3.0Licence, which decides whether bodies are shown

atelierb-mcp

01

CLEARSY/atelierb-mcp

MCP server Claude CodeCodexCursor

MCP server "atelierb-mcp" as configured in CLEARSY/atelierb-mcp. Runs locally from the atelierb-mcp Python package.

not rated 0 15d ago A tokens not measured AGPL-3.0