Fermah MCP Community
Click on "Install Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type
@followed by the MCP server name and your instructions, e.g., "@Fermah MCP CommunitySearch Fermah docs for proof systems"
That's it! The server will respond to your query, and you can continue using it as needed.
Here is a step-by-step guide with screenshots.
Fermah MCP Community
A public, read-only Model Context Protocol server that helps AI clients research Fermah and outline possible integrations. It exposes source-linked product and documentation lookup, proof-system metadata, and a conservative project-planning tool over Streamable HTTP.
This is a community project. It is not affiliated with or endorsed by Fermah, and it cannot submit proofs, move assets, execute Kernel workflows, or perform any other write action.
Connect
Public endpoint:
https://fermah.gogettest.online/mcpWebsite: https://fermah.gogettest.online/
Documentation: https://fermah.gogettest.online/docs
Machine-readable manifest: https://fermah.gogettest.online/.well-known/mcp.json
No API key is required.
Claude
Open Settings → Connectors → Add custom connector and paste the public endpoint.
Cursor
Use the Add to Cursor button on the website, or add this to your MCP configuration:
{
"mcpServers": {
"fermah-mcp": {
"url": "https://fermah.gogettest.online/mcp",
"headers": {}
}
}
}Visual Studio Code
Use the Install in VS Code button on the website, or add:
{
"servers": {
"fermah-mcp": {
"type": "http",
"url": "https://fermah.gogettest.online/mcp"
}
}
}Codex
codex mcp add fermah-mcp --url https://fermah.gogettest.online/mcpWindsurf
{
"mcpServers": {
"fermah-mcp": {
"serverUrl": "https://fermah.gogettest.online/mcp"
}
}
}Related MCP server: Shelby docs MCP
Capabilities
The server publishes six tools:
search_fermah_docs— search the curated official-source map.read_fermah_page— fetch one allowlisted Fermah page live.list_fermah_products— compare Kernel, Froben, Flashcast Social, and Marina.list_supported_proof_systems— return supported and planned systems from the Froben docs.design_fermah_project— produce a non-binding Kernel/Froben architecture outline.get_fermah_mcp_info— describe this endpoint and its safety model.
It also publishes two resources (fermah://overview, fermah://proof-systems) and the evaluate-fermah-fit prompt.
Local development
Requires Node.js 20.11 or newer.
npm ci
npm run devThe Vite UI runs on its development port and the MCP service runs on 127.0.0.1:8834.
Build and verify:
npm run build
npm test
npm run test:mcpRun the production server:
PUBLIC_BASE_URL=http://127.0.0.1:8834 npm startSecurity model
All MCP tools are read-only and require no credentials.
Live page retrieval is restricted to a compile-time allowlist; callers cannot provide arbitrary URLs.
Request bodies are capped at 256 KB and the MCP endpoint is rate-limited per client IP.
Search summaries and architecture suggestions are labeled as community-maintained context.
Current access, pricing, SLAs, network availability, and product commitments must be confirmed with Fermah.
Please report security issues privately to the repository owner rather than opening a public exploit report.
License
This server cannot be installed
Maintenance
Resources
Unclaimed servers have limited discoverability.
Looking for Admin?
If you are the server author, to access and configure the admin panel.
Related MCP Servers
- AlicenseBqualityDmaintenanceProvides comprehensive access to MCP documentation through structured guides, full-text search, and interactive development workflows for building servers and clients.37MIT
- AlicenseBqualityCmaintenanceA read-only MCP server that provides searchable access to the Shelby documentation bundle for MCP-compatible clients. It enables users to search, list, and read documentation pages directly within AI tools and IDEs.4MIT
- AlicenseAqualityDmaintenanceAn MCP server that serves documentation and enables AI-powered search, Q\&A, and document analysis for developer tools and guides.54MIT
- Alicense-qualityCmaintenanceMCP server to access and search adonis-mcp documentation files from GitHub, with tools for listing, searching, and extracting code examples.23MIT
Related MCP Connectors
MCP server for doc2mcp documentation, generated by doc2mcp.
An MCP server for deep research or task groups
MCP server for skill documentation, generated by doc2mcp.
Latest Blog Posts
- Who's Calling? MCP Hosts Are an Identity Blind Spot (And the Spec Knows It)By Om-Shree-0709 on .mcpAgent IdentityOAuth 2.1
- Your AI Chatbot Just Exposed Your CEO's Salary to an InternBy Om-Shree-0709 on .Agent IdentityMCP SecurityOAuth Delegation
- Why MCP Servers Need Execution Sandboxing (And Why Your Current Stack Isn't Enough)By Om-Shree-0709 on .Agentic AiPrompt InjectionWebAssembly
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/Alicepoltora/fermah-mcp'
If you have feedback or need assistance with the MCP directory API, please join our Discord server