atelierb-mcp
01MCP server Claude CodeCodexCursor +2
MCP server "atelierb-mcp" as configured in CLEARSY/atelierb-mcp. Runs locally from the atelierb-mcp Python package.
not rated 0 2mo ago A
tokens not measured
AGPL-3.0
MCP Server for Atelier B - Integrating Claude AI with formal methods
MCP server Claude CodeCodexCursor +2
MCP server "atelierb-mcp" as configured in CLEARSY/atelierb-mcp. Runs locally from the atelierb-mcp Python package.