"author:TProver" matching MCP servers:

• Atelier B MCP Server

  CLEARSY

  -

  license

  -

  quality

  -

  maintenance

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

  Last updated 2026-03-14