标签：B方法

一个连接Claude AI与Atelier B的MCP服务器，支持类型检查、生成证明义务、运行自动证明器、生成C代码和管理项目文件。