Back to search
30
MCP

iflow-mcp_angrysky56_mcp_rocq

pypi/iflow-mcp_angrysky56_mcp_rocq

MCP server for advanced logical reasoning using Coq

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

Similar MCP servers embedding-nearest

iflow-mcp_mcp_logic
MCP server for logical reasoning using Prover9
0 tools
iflow-mcp-rocq
Model Context Protocol (MCP) server for Rocq/Coq proof assistant based on Coq-LSP and Petanque
0 tools
iflow-mcp_sequential-thinking
A Sequential Thinking MCP Server for advanced problem solving
0 tools
iflow-mcp_angrysky56_memvid_mcp_server
An MCP server to expose Memvid functionalities to AI clients
0 tools
iflow-mcp_aleph-rlm
MCP server for recursive LLM reasoning—load context, iterate with search/code/think tools, converge on answers
0 tools
iflow-mcp_hmbown_aleph-rlm
MCP server for recursive LLM reasoning—load context, iterate with search/code/think tools, converge on answers
0 tools

How to use

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

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