io.github.mrfentmen/rocq-prover-mcp

io.github.mrfentmen/rocq-prover-mcp

Rocq Prover MCP: 20 real tools to read, check, lint, scaffold, build and run Rocq Prover code.

View repository →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

{
  "mcpServers": {
    "rocq-prover-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@mrfentmen/rocq-prover-mcp@1.0.0"
      ]
    }
  }
}

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
1.0.0
Registry
active
Published
11/8/2026

More Developer Tools servers

Browse all Developer Tools →

io.github.mrfentmen/rouge-mcp

mrfentmen

Rouge MCP: 20 real tools to read, check, lint, scaffold, build and run Rouge code.

Developer ToolsAdded 4 days ago

io.github.mrfentmen/routeros-script-mcp

mrfentmen

RouterOS Script MCP: read, check, lint, scaffold and run code.

Developer ToolsAdded 4 days ago

io.github.mrfentmen/rpc-mcp

mrfentmen

RPC MCP: 20 real tools to read, check, lint, scaffold, build and run RPC code.

Developer ToolsAdded 4 days ago

io.github.mrfentmen/rpgle-mcp

mrfentmen

RPGLE MCP: 20 real tools to read, check, lint, scaffold, build and run RPGLE code.

Developer ToolsAdded 4 days ago

io.github.mrfentmen/ruby-mcp

mrfentmen

Ruby MCP: 20 real tools to read, check, lint, scaffold, build and run Ruby code.

Developer ToolsAdded 4 days ago

io.github.mrfentmen/rubygems-mcp

mrfentmen

RubyGems registry: search, gem stats, release history, newest releases, dependents, owners.

Developer ToolsAdded 4 days ago

Add the badge to your site

Show visitors that io.github.mrfentmen/rocq-prover-mcp is listed here — it’s also the link we check for a free listing.

io.github.mrfentmen/rocq-prover-mcp — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-mrfentmen-rocq-prover-mcp?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="io.github.mrfentmen/rocq-prover-mcp — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![io.github.mrfentmen/rocq-prover-mcp — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-mrfentmen-rocq-prover-mcp?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.