Back to search
30
MCP

folprover-mcp

pypi/folprover-mcp

MCP server for First-Order Logic provers (Vampire, E)

Uptime
0.0%
47 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
euclid-mcp
MCP server for deterministic logical reasoning via Prolog — transforms facts into formal proofs
0 tools
thoughtproof-mcp
MCP server for ThoughtProof — verify AI reasoning with adversarial multi-model consensus
0 tools
logic-analyzer-mcp
MCP (Model Context Protocol) server for Saleae Logic analyzers
0 tools
math-logic-mcp
MCP server providing verified math & logic tools for small LLMs (Mistral, Llama, DeepSeek)
0 tools
folprover mcp
Metadata-only Glama MCP server.
0 tools

How to use

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

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