prover

Unknown

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Uncategorized

Install

{
  "mcpServers": {
    "prover": {
      "command": "npx",
      "args": ["-y", "prover"]
    }
  }
}

No capabilities documented for this server yet.

No reviews yet. Be the first to review this server.

Automated DOCX Redlining Engine

Meta Ads MCP server with 47 tools for campaigns, creatives, audiences, and insights.

Access SEC filings efficiently (10-K, 10-Q, etc), save time and tokens, and get cited answers.

Remote MCP server for Tandem docs, install guides, SDKs, workflows, and agent setup help.