Back to search
30
MCP

iflow-mcp-rocq

pypi/iflow-mcp-rocq

Model Context Protocol (MCP) server for Rocq/Coq proof assistant based on Coq-LSP and Petanque

Uptime
0.0%
2 probes
Response
0ms
last probe
Tools
0
callable
Primary URL
—

Similar MCP servers embedding-nearest

iflow-mcp_mcp-rquest
A Model Context Protocol (MCP) server providing advanced HTTP request capabilities with realistic browser emulation for Claude and other LLM
0 tools
iflow-mcp_emqx-mcp-server
A Model Context Protocol (MCP) server implementation that provides EMQX MQTT broker interaction.
0 tools
iflow-mcp-modelscope-mcp-server
A Model Context Protocol (MCP) server that integrates with ModelScope's ecosystem.
0 tools
iflow-mcp_emacs-mcp-server
Model Context Protocol (MCP) server for Emacs
0 tools
iflow-mcp-ezhuk-mqtt-mcp
A Model Context Protocol (MCP) server for MQTT
0 tools
iflow-mcp_roam-mcp
A Model Context Protocol server for Roam Research integration with AI assistants
0 tools

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "iflow-mcp-rocq": {
      "url": "None",
      "transport": "http"
    }
  }
}