MCP serverdev.redeal/redeal
Neutral fairness computation for agents: fair division, verifiable random, Shapley shares.
Overview
Score?
UNRATED 0.790
of what a free look can see, on 32 looks
Looks
35
last 18 hr ago
Tools
12
More info
URL
api.redeal.dev/mcp
streamable-http
Says it is
redeal 0.7.0
protocol 2025-11-25
In the record since
32 days ago
Among servers18,413 with a card
0median 0.606 · this server 0.790 · highest on record 0.8561
Toolsfrom sha256:30de447746…0cb32d
| Tool | Schema |
|---|---|
| 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 reve |
input · no output |
| 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. |
input · no output |
| 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 |
input · no output |
| 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. |
input · no output |
| 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 |
input · no output |
| 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 |
input · no output |
| 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 cros |
input · no output |
| 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 computati |
input · no output |
| 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 t |
input · no output |
| 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 |
input · no output |
| 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 sum |
input · no output |
| 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. |
input · no output |
Verify it yourself
npx teppi-check https://api.redeal.dev/mcpcurl -s https://api.teppi.xyz/v1/trust/mcp/mcs_01M1FZ2AE15AHHE992N86PM59R