🔧

FOL Prover MCP Server

🔧MCP Server

NewJerseyStyle/folprover-mcp

glama

Installation

Claude CodeAdd MCP server via Claude CodeAuto-generated from README. View full documentation on GitHub →

claude mcp add folprover -- folprover-mcp

Claude Desktop ConfigurationServer configuration (JSON)

{
  "mcpServers": {
    "folprover": {
      "command": "folprover-mcp"
    }
  ...

Last UpdatedJun 8, 2026