Connect

8 clients · secrets stay placeholders

JSON (mcpServers)Claude CodeCodexOpenCodeCursorVS CodeGemini CLIGoose

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

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

[mcp_servers.redeal]
url = "https://api.redeal.dev/mcp"

{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "redeal": {
      "type": "remote",
      "url": "https://api.redeal.dev/mcp",
      "enabled": true
    }
  }
}

{
  "mcpServers": {
    "redeal": {
      "type": "http",
      "url": "https://api.redeal.dev/mcp"
    }
  },
  "deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=redeal&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vYXBpLnJlZGVhbC5kZXYvbWNwIn0%3D"
}

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

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

extensions:
  "redeal":
    enabled: true
    name: "redeal"
    type: streamable_http
    uri: "https://api.redeal.dev/mcp"
    timeout: 300

Quality 79 / 100good

protocol75 · weight 25

warn
protocol.modernnewest supported version is 2025-11-25; 2026-07-28 not supported, older versions are deprecated until 2027-07-28
n/a
protocol.statelessonly applies to 2026-07-28 servers
pass
protocol.transportstreamable HTTP
n/a
protocol.list_ttlonly applies to 2026-07-28 servers

authorizationn/a · weight 15

n/a
auth.prm, auth.as_metadata, auth.cimdno remote uses OAuth
n/a
auth.secret_in_urlno templated URL

tool hygiene71 · weight 30

pass
tools.descriptionsevery tool has a description
pass
tools.description_lengthdescriptions are concise
pass
tools.schemasevery tool has an object input schema
fail
tools.annotationsno tool declares readOnlyHint or destructiveHint, so clients cannot tell safe calls from risky ones
fail
tools.directory_hintsno tool declares all four of readOnlyHint, destructiveHint, idempotentHint and openWorldHint; missing: commit_input (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); get_deal (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); get_entropy (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); …
pass
tools.token_costabout 2,412 tokens to load every tool
pass
tools.api_dumptools are not a one-to-one API dump

stability100 · weight 15

pass
stability.changesno tool changes in 30 days
pass
stability.rug_pullno tool changed its meaning under the same name

dependenciesn/a · weight 15

n/a
deps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI package

12 tools, about 2,412 tokens to load them all · tool set 8027e8f92c98 · checked 2026-10-20 15:57 UTC

Tool changes

No tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.

Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.

Trust 93 / 100

provenance85

liveness100

freshness85

hygiene100

+repository +dns-namespace +website +reachable +uptime-100% ~updated-62d-ago

Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.

Endpoints

remote	auth	reachable	uptime 30d	p50	protocol	last ok
`https://api.redeal.dev/mcp` streamable-http	none	yes	100%	495 ms	2025-11-25	2026-10-20

Tools (12)

`commit_input`	Commit your sealed input as a hash (sealed mode). Nobody — including redeal — can see your input until all parties have committed. After the last commitment the deal opens for reveals immediately.
`compute_commitment_tool`	Compute a commitment string for (input, salt): sha256(JCS(input) ++ salt_bytes), prefixed 'sha256:'. Convenience only — the rule is public and you can compute it yourself.
`create_deal`	Create a fairness deal. You are party 0 (initiator). Returns a deal id and one invite token per party — give each counterparty their own token. Sealed mode: everyone commits a hash, then reveals; certificate is issued automatically when the deal computes or goes VOID.
`create_key`	Get a free redeal API key. No signup, no email — this is the entire onboarding. The key is shown once; store it. Use it as api_key in create_deal.
`get_certificate`	Fetch the signed fairness certificate for a finished deal (state CERTIFIED). Includes the labelled signature (es256 or ed25519) and transparency-log inclusion proof. Verify it with verify_certificate.
`get_deal`	Read a deal's public state: protocol state (OPEN/COMMITTING/REVEALING/CERTIFIED/VOID/EXPIRED), who has committed/revealed, deadlines, result, and certificate_id once issued. Inputs of other parties are never exposed.
`get_entropy`	Finish a random.v1 deal once every party has revealed: redeal fetches the deal's pre-declared drand round from the public League of Entropy beacon (fixed at creation, publicly cross-checkable), computes the draw, and issues the certificate. Call this after the last reveal_input; the deal rests in REVEALING until you do. Idempotent — safe to retry.
`get_public_certificate`	Fetch a certificate's full JSON (outcome included) by id. Works for public deals (the default). Parties-only deals and unknown ids both return NOT_FOUND. To re-verify the computation itself, use verify_certificate (checks) or the CLI re-runner with the parties' inputs.
`list_algorithms`	List redeal's algorithms (split.v1 fixed-budget fair division, random.v1 verifiable random selection, shapley.v1 Shapley shares, auction.v1 sealed-bid second-price auctions) with their input contracts and the published test vectors (served inline — the same fixtures the engine test suite runs). Read this before creating a deal.
`reveal_input`	Reveal your committed input. It must hash to your earlier commitment. When the last party reveals, the deal computes and the fairness certificate is issued automatically — fetch it with get_certificate.
`validate_input`	Validate your algorithm input against the deal's contract BEFORE you commit. A commitment binds the exact input bytes — a contract-violating input (e.g. split.v1 valuations not summing to exactly 1000) can never be corrected afterwards and the deal will VOID at the reveal deadline. Always validate first, then compute_commitment_tool, then commit_input. Read-only: nothing is stored or changed.
`verify_certificate`	Verify a redeal certificate by id: signature check (current or published legacy key) + transparency-log inclusion check, reported per check. Free, no credential required, always.

Schemas: list_tools.

Similar MCP servers

Official server.json

{
  "name": "dev.redeal/redeal",
  "title": "Redeal",
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "remotes": [
    {
      "url": "https://api.redeal.dev/mcp",
      "type": "streamable-http"
    }
  ],
  "version": "0.7.0",
  "repository": {
    "url": "https://github.com/redeal-dev/redeal",
    "source": "github"
  },
  "websiteUrl": "https://redeal.dev",
  "description": "Neutral fairness computation for agents: fair division, verifiable random, Shapley shares."
}