Skip to main content
Glama
82,840 servers. Updated

"author:CLEARSY" matching MCP servers:

GET /v1/servers — MCP directory API reference
  • Atelier B MCP Server by CLEARSY

    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.
    18
    AGPL 3.0