atelierb-mcp
01MCP 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
MCP Server for Atelier B - Integrating Claude AI with formal methods
MCP server Claude CodeCodexCursor
MCP server "atelierb-mcp" as configured in CLEARSY/atelierb-mcp. Runs locally from the atelierb-mcp Python package.