"author:CLEARSY" matching MCP servers:

• 

  Atelier B MCP Serverofficial

  CLEARSY

  A

  license

  A

  quality

  A

  maintenance

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

  Updated 6 days ago (2026-08-19 12:00 UTC)

  18

  AGPL 3.0