Source listing · setup not established

Atelier B MCP Server

Official

Connects Claude AI to Atelier B formal methods IDE, enabling typechecking, proof generation, automatic proving, and C code generation for B projects.

Setup details

This source describes a project but provides no normalized endpoint or package identifier. Follow its source listing for setup instructions.

Sources and listing details

Source listings:

Glama source code · Official · 2026-10-24

Grouping basis: listing. Exact endpoints or package sets can be grouped automatically; other relationships require evidence review. This does not verify publisher affiliation, connection health, or equivalent capabilities.