SERVER

Atelier B MCP Server

Rank #108,000

glama/CLEARSY/atelierb-mcp

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

First listed
Jun 21, 2026
Last publish date
—
OVERVIEW

Atelier B MCP Server is a Model Context Protocol (MCP) server published by CLEARSY. It ranks #108,000 of 137,492 servers tracked on MCP Toplist. Atelier B MCP Server is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Jun 21, 2026.

STANDING
#108,000of 137,492 tracked servers

Ranks ahead of 29,492 of 137,492 servers on MCP Toplist.

CONNECT

Use Atelier B MCP Server

API keyNeeds credentials

Requires user-supplied configuration before first use — typically an API key, token or connection string set via environment variables.

This server doesn't publish a machine-readable install config — see the repository README for install instructions.

BADGE

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

MCP Toplist: #108,000 of 137,492
Markdown
[![MCP Toplist](https://mcptoplist.com/badge/glama%2FCLEARSY%2Fatelierb-mcp.svg)](https://mcptoplist.com/server/glama%2FCLEARSY%2Fatelierb-mcp)
HTML
<a href="https://mcptoplist.com/server/glama%2FCLEARSY%2Fatelierb-mcp"><img src="https://mcptoplist.com/badge/glama%2FCLEARSY%2Fatelierb-mcp.svg" alt="MCP Toplist: #108,000 of 137,492" /></a>

Variants: append ?metric=score or ?metric=stars to the image URL.

REGISTRIES

Listed on 1 registry (1 delisted)

GlamaDelisted · last seen Jun 24, 2026
ORGANIZATION

CLEARSY

Organization
Servers in org
1
Versions across org
0
VERSIONS

Not versioned

This server is published through registries that do not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.

FAQ

Frequently asked questions

Who maintains Atelier B MCP Server?
Atelier B MCP Server is maintained by CLEARSY, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
Is Atelier B MCP Server listed on the Official MCP Registry?
Atelier B MCP Server is not on the Official MCP Registry. It is listed on Glama.
How many versions does Atelier B MCP Server have?
Atelier B MCP Server ships as a single rolling release with no explicit version metadata.
Where can I find the source code for Atelier B MCP Server?
The source code for Atelier B MCP Server is hosted at github.com/CLEARSY/atelierb-mcp.
Used in projects

Do you run this server?

Add to a project

Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.

EXPLORE