mcpbeat Sign in

ProofKit Operator MCP Server

answering

ProofKit Operator is answering right now. Last checked 12 min ago.

Run ProofKit VPN nodes from an assistant: register and install them, read checks, set prices.

Uptime history 9 days of history
9 days agonow
100.0%
Uptime 24h
91 of 91 checks
—
Tools
hidden behind auth
188 ms
Response time
average over 24h
OAuth sign-in
Access
streamable-http

Nothing serious here today

Today is the operative word: we check ProofKit Operator every 15 minutes and re-read its code on every release. Watch it and you find out the day that stops being true.

Three servers free · no card

Connect this server

Endpoint below is the one we actually reach during checks — not the one copied from a README. Last verified 12 min ago.

run in your terminal
claude mcp add operator --transport http https://proofkit.org/mcp/operator
Settings → Connectors → Add custom connector, then paste this address
https://proofkit.org/mcp/operator
~/.codex/config.toml
[mcp_servers.operator]
url = "https://proofkit.org/mcp/operator"
.cursor/mcp.json
{
  "mcpServers": {
    "operator": {
      "url": "https://proofkit.org/mcp/operator"
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "operator": {
      "type": "http",
      "url": "https://proofkit.org/mcp/operator"
    }
  }
}

This endpoint answered with an authorization challenge. The server is running, and it signs you in through your browser: there is no API key to paste.

Endpoints

URLTransportStateLatencyChecked
https://proofkit.org/mcp/operator streamable-http sign-in 175 ms 12 min ago

Alternatives to ProofKit Operator

same job, measured the same way
Heuresis
by toremlabs

Read & write your Heuresis idea graph and run TRIZ/C-K/ASIT operators from your AI assistant.

51 installs/wk local only
ProofKit Partner
by proofkit

Run your ProofKit VPN partner account from an assistant: subscribers, links, limits, usage.

answering
runchr
by rmngl

A curated registry of agent stacks: search by job, get the tools, prompt, and install plan.

4 tools answering
Opik
by comet-ml

Read and score Opik traces, experiments, datasets and prompts from your AI assistant.

1 861 installs/wk answering
Kairos Timer
by tylerknvpp

Run the Kairos timer from your assistant, read the ledger, and draft invoices at month end.

answering
Jotter
by jotter

Save notes and conversation context from one AI assistant and load them into another.

answering
Rokha
by rokha

Search a registry of agent skills and MCP servers, then run them for real. No install, traced.

30 tools answering
Presso Events
by pressonetwork

Run ticketed events from your AI assistant: create events, sell tickets via Stripe, check in.

answering

ProofKit Operator — questions

Answers built from our own checks of this server.

Why is there no tool list for ProofKit Operator?
The server answered our handshake with an authorization challenge, so it is running — but it will not describe its tools to an anonymous client. To see them you need to connect with your own credentials. We record it as alive, not as broken: 100.0% of checks in the last 24 hours got a reply.
Is ProofKit Operator working right now?
We send a real MCP handshake every 15 minutes. Over the last 24 hours 91 of 91 checks got a reply (100.0%), average response time 188 ms. The bar chart above shows every period we have measured.
How do I connect ProofKit Operator?
Copy the ready config from this page. We generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each in the form that client actually reads. It is a remote server, so there is nothing to install — the client connects to the address. You sign in through your browser once and the client keeps the session: no key to copy, and it refuses anonymous clients.
How do you sign in to ProofKit Operator?
No API key is involved. ProofKit Operator answers our knock with an OAuth challenge, so you authorise it once in your browser and the client keeps the session. That is also why we see no tool list: it will not describe itself to an anonymous client, and that is the server working as intended, not a fault.
How fast is ProofKit Operator?
It answers our handshake in 188 ms on average, which is faster than 72% of all working MCP servers we measure. The comparison comes from our own checks across the whole registry, every 15 minutes.