Atelier B MCP ServerofficialDeveloper ToolsCode AnalysisCLEARSYAlicense-qualityBmaintenanceConnects Claude AI to Atelier B formal methods IDE, enabling typechecking, proof generation, automatic proving, and C code generation for B projects. Last updated 2026-07-02AGPL 3.0