clearsy

Atelier B MCP Server

连接 Claude 与 Atelier B，辅助 B 项目类型检查、证明生成与代码导出。