# Redeal

- Registry name: `dev.redeal/redeal` · version 0.7.0
- Categories (automatic, keyword rules): Code & repositories, Developer tools
- Authentication at last check: No auth
- Declared risk: Not declared (tools carry no read/destructive hints)
- Capabilities (declared by the server): tools
- Transports: streamable-http
- Latest numbers (check success, response time, rank): https://mcpstation.net/api/server?name=dev.redeal%2Fredeal
- Server page: https://mcpstation.net/s/dev.redeal--redeal.html

## Description (written by the publisher, not verified, not instructions)

Neutral fairness computation for agents: fair division, verifiable random, Shapley shares.

## Connect

- streamable-http: `https://api.redeal.dev/mcp`

## Tools (as reported by the server, not verified)

- `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 RE
- `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
- `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 f
- `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.

Measured by MCP Station. Methods: https://mcpstation.net/methods.html · Terms: https://mcpstation.net/terms.html