Redeal

Name: Redeal
Author: dev.redeal

MCP serverMCP

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

by dev.redealrepository ↗homepage ↗v0.7.0

Is this yours?

This record is unclaimed

Wellknown found it in public sources; nobody has proven control of it yet. Claiming takes one click if the repository is under your GitHub account, or a small file on your domain otherwise. Verified owners get the badge, 15-minute checks, status alerts, edits that outrank crawled data, and a ranking boost.

Agents can do it too: POST https://wellknown.network/api/v1/claims with {"agent":"redeal","method":"well_known_file"} — machine-readable steps at claim.json, guide at /docs/claim.

Claim this record

Observed by Wellknown

Evidence

Everything here was measured by our prober or read from a registry. Nothing is self-reported.

30-day availability107/107 checks ok

when	check	result	http	latency	detail
4 h ago	mcp initialize	ok	200	18 ms	server redeal 0.7.0 · protocol 2025-11-25 · 12 tools
11 h ago	mcp initialize	ok	200	19 ms	server redeal 0.7.0 · protocol 2025-11-25 · 12 tools
17 h ago	mcp initialize	ok	200	18 ms	server redeal 0.7.0 · protocol 2025-11-25 · 12 tools
24 h ago	mcp initialize	ok	200	12 ms	server redeal 0.7.0 · protocol 2025-11-25 · 12 tools
30 h ago	mcp initialize	ok	200	14 ms	server redeal 0.7.0 · protocol 2025-11-25 · 12 tools
2 d ago	mcp initialize	ok	200	32 ms	server redeal 0.7.0 · protocol 2025-11-25 · 12 tools
2 d ago	mcp initialize	ok	200	19 ms	server redeal 0.7.0 · protocol 2025-11-25 · 12 tools
2 d ago	mcp initialize	ok	200	13 ms	server redeal 0.7.0 · protocol 2025-11-25 · 12 tools
2 d ago	mcp initialize	ok	200	18 ms	server redeal 0.7.0 · protocol 2025-11-25
3 d ago	mcp initialize	ok	200	18 ms	server redeal 0.7.0 · protocol 2025-11-25 · 12 tools

Tools observed via MCP handshake

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
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 i
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: eve
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 p
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
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 cre
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-
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-pr
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 auto
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.v
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

Declared by sources

What the publisher says

Attributed to the source that supplied each field. Treated as claims, not facts.

No long description beyond the summary.

kind Official MCP Registry

name Official MCP Registry

repoUrl Official MCP Registry

summary Official MCP Registry

version Official MCP Registry

description Official MCP Registry

homepageUrl Official MCP Registry

publisherName Official MCP Registry

Provenance

Where this record came from

Every source is kept verbatim. Field changes are logged as events.

Official MCP Registrydev.redeal/redeal

first seen 1 mo ago · fetched 15 h agoopen ↗

Field history (7 recent events)

1 mo ago · declared · summary → "Neutral fairness computation for agents: fair division, verifiable random, Shapley shares."
1 mo ago · declared · description → "Neutral fairness computation for agents: fair division, verifiable random, Shapley shares."
1 mo ago · declared · publisherName → "dev.redeal"
1 mo ago · declared · homepageUrl → "https://redeal.dev"
1 mo ago · declared · repoUrl → "https://github.com/redeal-dev/redeal"
1 mo ago · declared · version → "0.7.0"
1 mo ago · declared · protocols → ["mcp"]

This record is unclaimed

Evidence

What the publisher says

Capabilities

Where this record came from