N/A
TProver/Atelier B MCP Server
Connects Claude AI to Atelier B formal methods IDE, enabling typechecking, proof generation, automatic proving, and C code generation for B projects.
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL https://github.com/CLEARSY/atelierb-mcp
- Framework mcp
- Sources glama
- First Seen Jun 22, 2026
- Repository github.com/CLEARSY/atelierb-mcp
Browse more:
Search all agents
Ecosystem Report