$ loading_
A public, read-only MCP server for researching Fermah products and documentation, with tools for searching docs, reading pages, listing products and proof systems, and generating non-binding project outlines.
复制安装指令，让 AI 自动完成配置 · 推荐新手
"Fermah MCP Community" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。