Redeal is a remote MCP server that gives an AI agent 12 tools, among them commit_input, compute_commitment_tool, create_deal. It answers at https://api.redeal.dev/mcp over streamable HTTP, and it listed its tools to an anonymous client, so no sign-in was needed for that. Our probes reached it 6 of 6 times since 10 September 2026; the last check, on 19 October 2026, succeeded.
Neutral fairness computation for agents: fair division, verifiable random, Shapley shares.
Description as the publisher wrote it.
| Tool | What it does |
|---|---|
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. Inputs: commitment, deal_id, idempotency_key, invite_token |
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. Inputs: input, salt |
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 Inputs: algorithm, algorithm_params, api_key, commit_deadline, external_ref, idempotency_key |
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. Inputs: credential, deal_id |
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. Inputs: credential, deal_id |
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. Inputs: credential, deal_id |
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-run Inputs: cert_id |
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 |
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. Inputs: deal_id, idempotency_key, input, invite_token, salt |
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 Inputs: deal_id, input, invite_token |
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. Inputs: cert_id |
Every block below points at https://api.redeal.dev/mcp. Pick your client and copy.
claude mcp add --transport http redeal https://api.redeal.dev/mcp
{
"mcpServers": {
"redeal": {
"command": "npx",
"args": ["-y", "mcp-remote", "https://api.redeal.dev/mcp"]
}
}
}{
"mcpServers": {
"redeal": {
"url": "https://api.redeal.dev/mcp"
}
}
}{
"servers": {
"redeal": {
"type": "http",
"url": "https://api.redeal.dev/mcp"
}
}
}{
"context_servers": {
"redeal": {
"url": "https://api.redeal.dev/mcp"
}
}
}{
"mcpServers": {
"redeal": {
"serverUrl": "https://api.redeal.dev/mcp"
}
}
}{
"mcpServers": {
"redeal": {
"url": "https://api.redeal.dev/mcp"
}
}
}name: Redeal
version: 0.0.1
schema: v1
mcpServers:
- name: Redeal
type: streamable-http
url: https://api.redeal.dev/mcp{
"mcpServers": {
"redeal": {
"httpUrl": "https://api.redeal.dev/mcp"
}
}
}{
"mcpServers": {
"redeal": {
"type": "http",
"url": "https://api.redeal.dev/mcp"
}
}
}{
"mcpServers": {
"redeal": {
"url": "https://api.redeal.dev/mcp"
}
}
}goose://extension?url=https%3A%2F%2Fapi.redeal.dev%2Fmcp&type=streamable_http&id=redeal&name=Redeal
It answered our last check on 19 October 2026 in 96 ms. Over 6 checks since 10 September 2026 it answered 6. Status here comes from Neuronto's own probes, not from the publisher.
Yes. It is published by redeal.dev and served from api.redeal.dev, the vendor's own domain: https://api.redeal.dev/mcp.
12, as returned by the server's own tools/list on 11 September 2026: commit_input, compute_commitment_tool, create_deal, create_key, get_certificate, get_deal, get_entropy, get_public_certificate, and 4 more.
It answered our last check on 19 October 2026 in 96 ms. Over 6 checks since 10 September 2026 it answered 6.
Put the server under mcpServers in ~/.cursor/mcp.json with the URL https://api.redeal.dev/mcp. The exact JSON is above, with the same setup for Claude Code, Claude Desktop, VS Code, Windsurf, Zed, Gemini CLI and the rest.
It listed its tools to an anonymous client, so reading the tool list needs no key. Individual tools can still ask for credentials in their own inputs.
Publisher: dev.redeal. Endpoint host: api.redeal.dev. ARD identifier: urn:air:dev.redeal:mcp:redeal.
First indexed 10 September 2026. The tools are exactly what the server returned; nothing on this page
is inferred from its name. Ranking in Neuronto search is never for sale.