Redeal MCP MCP server

An official MCP server providing neutral fairness computation for agents, enabling verifiable random selection, fair division, sealed-bid auctions, and Shapley value calculations. It allows agents to commit sealed inputs, run deterministic algorithms, and receive signed, publicly verifiable certificates without trusting a central authority.

Endpoint and access

No sign-in: your client connects and lists tools immediately, with no account or key.

No sign-inEndpoint checked 2026-10-05Operated by Redeal

MCP endpoint (Streamable HTTP)

https://api.redeal.dev/mcp

Vendor documentation

What you can do with it

Perform fair division of resources among multiple agents using split.v1 algorithm
Execute sealed-bid second-price auctions with verifiable outcomes
Generate verifiable random selections using pinned entropy beacons
Calculate Shapley value shares based on marginal contributions

Tools advertised by the last live check:

commit_input
compute_commitment_tool
create_deal
create_key
get_certificate
get_deal
get_entropy
get_public_certificate
list_algorithms
reveal_input
validate_input
verify_certificate

Connect from your client

Each snippet registers the same endpoint; pick the client you use.

This server is operated by the named third party. Listing and endpoint checks are not an endorsement or a security audit. Review the operator's permissions, terms, and data handling before connecting. How listings are checked and corrected.

Claude Code

Run this once in a terminal. It registers a Streamable HTTP server. Use --scope project to write .mcp.json for the repo.

Claude Code configuration

claude mcp add --transport http redeal-mcp https://api.redeal.dev/mcp

Codex

Run this once. Codex stores MCP servers in ~/.codex/config.toml (or .codex/config.toml in a trusted project).

Codex configuration

codex mcp add redeal-mcp --url https://api.redeal.dev/mcp

Cursor

Merge this server into .cursor/mcp.json in your project, then enable redeal-mcp in your MCP settings.

Cursor configuration

{
  "mcpServers": {
    "redeal-mcp": {
      "url": "https://api.redeal.dev/mcp"
    }
  }
}

Cline

Merge this into cline_mcp_settings.json (Cline → MCP Servers → Configure). The type must be streamableHttp for a remote HTTP server.

Cline configuration

{
  "mcpServers": {
    "redeal-mcp": {
      "type": "streamableHttp",
      "url": "https://api.redeal.dev/mcp",
      "disabled": false
    }
  }
}

VS Code

Merge this server into .vscode/mcp.json. Use MCP: List Servers to start redeal-mcp and inspect its tools.

VS Code configuration

{
  "servers": {
    "redeal-mcp": {
      "type": "http",
      "url": "https://api.redeal.dev/mcp"
    }
  }
}

Gemini CLI

Run this once. It writes .gemini/settings.json in the current project; pass --scope user for ~/.gemini/settings.json.

Gemini CLI configuration

gemini mcp add --transport http redeal-mcp https://api.redeal.dev/mcp

Claude Desktop

Merge this into claude_desktop_config.json (macOS: ~/Library/Application Support/Claude/, Windows: %APPDATA%\Claude\), then restart Claude Desktop.

Claude Desktop configuration

{
  "mcpServers": {
    "redeal-mcp": {
      "url": "https://api.redeal.dev/mcp"
    }
  }
}

Windsurf

Merge this into ~/.codeium/windsurf/mcp_config.json, then refresh MCP in Cascade. Windsurf remote servers use serverUrl, not url.

Windsurf configuration

{
  "mcpServers": {
    "redeal-mcp": {
      "serverUrl": "https://api.redeal.dev/mcp"
    }
  }
}

See all 782

Do you run Redeal MCP?

Prove ownership with a DNS record, a well-known file, or your Official MCP Registry entry, and your edits publish immediately. Proofs are re-checked weekly; admins can still hide or remove a listing.

Claim this listing