search_fermah_docs
Search the curated index by product, architecture concept, proof system, or integration topic.
query · limitA public, read-only Streamable HTTP MCP server that helps AI clients research Fermah and outline possible integrations.
https://fermah.gogettest.online/mcp
Select your client. Cursor and Visual Studio Code support direct installation links; other clients receive the shortest supported setup path.
Browser user agents normally do not reveal which desktop app opened a link. Detection therefore uses an explicit ?client= parameter, referrer when available, recognizable embedded-browser user agents, and your last selection.
Every tool is read-only and returns either official source URLs or an explicit community-content label.
search_fermah_docs
Search the curated index by product, architecture concept, proof system, or integration topic.
query · limitread_fermah_page
Fetch current text from one allowlisted official Fermah page. Falls back to a labeled cached summary if the page is unavailable.
page_idlist_fermah_products
Map Kernel, Froben, Flashcast Social, and Marina with purpose, maturity caveats, and official links.
no argumentslist_supported_proof_systems
Return supported and planned proof systems recorded in the official Froben documentation.
no argumentsdesign_fermah_project
Create a non-binding Kernel/Froben architecture outline and a list of access assumptions to verify.
use_case · priorityget_fermah_mcp_info
Describe this server, its endpoint, transport, safety model, and supported MCP capabilities.
no argumentsfermah://overview
Product map and allowlisted official documentation index.
fermah://proof-systems
Supported and planned proof systems with a source link.
evaluate-fermah-fit
A structured research workflow that compares Kernel and Froben for a proposed project.
“Use Fermah MCP to explain the difference between Kernel and Froben. Cite the official pages.”
“Evaluate whether a parametric insurance product fits Fermah. Separate confirmed capabilities from assumptions.”
“List the proof systems in the current Fermah documentation and open the official source before answering.”
The server has no wallet, transaction, file-system, proof-submission, or account-management tools. It does not request API keys from users.
read_fermah_page accepts page IDs rather than arbitrary URLs. This prevents the tool from becoming a general-purpose fetch proxy or SSRF surface.
Search results and architecture suggestions are maintained by this project. Live page reads include the final official URL and retrieval time.
Fermah product access, APIs, pricing, supported networks, and production SLAs may require direct confirmation with Fermah. The project-planning tool calls these assumptions out explicitly.
POST /mcpInitialize sessions and call MCP methodsGET /mcpSession event stream when supported by the clientDELETE /mcpTerminate an MCP sessionGET /healthPublic service health and transport metadataGET /install.jsonMachine-readable connection manifestNo account, key, or local process required.
Open quickstart