Skip to main content
Glama

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/mcp

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/mcp

Windsurf

{
  "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 dev

The 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:mcp

Run the production server:

PUBLIC_BASE_URL=http://127.0.0.1:8834 npm start

Security 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

MIT

Maintenance

ActivityMaintained
ResponsivenessSyncing

Resources

Unclaimed servers have limited discoverability.

Looking for Admin?

If you are the server author, to access and configure the admin panel.

Related MCP Connectors

Related MCP Servers

Latest Blog Posts

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