folprover-mcp

npx claudepluginhub newjerseystyle/plugin-logic-llm

Add to Your Project

Copy this JSON into your .mcp.json to enable this server

Add to your .mcp.json:

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

Server configuration and connection parameters

Commandfolprover-mcp

Stats

LanguageJavaScript

Stars2

MaintenanceExcellent

Last CommitJan 26, 2026

Actions

Plugins (1)

Share bugs, ideas, or general feedback.

Stats

Actions

Share bugs, ideas, or general feedback.