Global (EN)
Setup GuideSaved Tools
Back to All MCP Servers
F

FOL Prover

Verified Integration
Author: @NewJerseyStyle•Category: ServerApplication
GitHub Repository
JSON-RPC 2.0
Protocol Standard
Sub-second
Execution Latency
Active
Operational Status
Tags:#Claude#Search#Database#API#Git#AI#GitHub#Node.js

Client Configuration

— Connect FOL Prover to Claude Desktop or Cursor in seconds
{
  "mcpServers": {
    "fol-prover": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-fol-prover"
      ],
      "env": {}
    }
  }
}
Paste into ~/Library/Application Support/Claude/claude_desktop_config.json (macOS) or %APPDATA%\Claude\claude_desktop_config.json (Windows).
Architecture & Capabilities

System Overview

Provides a Model Context Protocol server for first-order logic theorem proving, leveraging external provers like Vampire, E, and Prover9, alongside a built-in prover.

Indexed Date

7/23/2026

License

Open Source

Protocol Layer

stdio / SSE RPC

Frequently Asked Questions

Architecture and operational details for FOL Prover

FOL Prover supports leading external theorem provers like Vampire, E (eprover), and Prover9. It also includes a convenient built-in simple, resolution-based prover that requires no external installation.

Related MCP Servers

Browse all servers →
C
@carboneio
Carbone

Empower AI assistants to generate and convert documents, manage templates, and automate document workflows efficiently.

ClaudeSearchDatabase+65 FAQs
Learn more
C
@sebastienrousseau
CloudCDN

Provides a multi-tenant, AI-native Content Delivery Network deployable on Cloudflare, featuring sub-100ms TTFB, AI agent controllability, and comprehensive accessibility.

ClaudeSearchDatabase+65 FAQs
Learn more
C

Deploy a Model Context Protocol server on Cloudflare Workers without requiring authentication.

ClaudeSearchDatabase+55 FAQs
Learn more