Skip to main content
Glama

Redeal

Ownership verified

Server Details

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

Status
Healthy
Last Tested
Transport
Streamable HTTP
URL
Repository
redeal-dev/redeal
GitHub Stars
0

Glama MCP Gateway

Connect through Glama MCP Gateway for full control over tool access and complete visibility into every call.

MCP client
Glama
MCP server

Full call logging

Every tool call is logged with complete inputs and outputs, so you can debug issues and audit what your agents are doing.

Tool access control

Enable or disable individual tools per connector, so you decide what your agents can and cannot do.

Managed credentials

Glama handles OAuth flows, token storage, and automatic rotation, so credentials never expire on your clients.

Usage analytics

See which tools your agents call, how often, and when, so you can understand usage patterns and catch anomalies.

100% free. Your data is private.

Tool Definition Quality

Score is being calculated. Check back soon.

Available Tools

11 tools
commit_inputInspect

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.

ParametersJSON Schema
NameRequiredDescriptionDefault
deal_idYesThe deal id (d_...).
commitmentYes"sha256:" + hex of sha256(JCS(your input JSON) ++ your salt bytes). Compute it locally; the server sees only this hash until everyone has committed.
invite_tokenYesThe invite token for YOUR party, from create_deal's response.
idempotency_keyNoOptional: retries with the same key + same arguments replay the original response.
compute_commitment_toolInspect

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.

ParametersJSON Schema
NameRequiredDescriptionDefault
saltYesYour hex salt (even length, e.g. 32+ random bytes hex-encoded). Keep it secret until reveal.
inputYesYour algorithm input (any JSON value).
create_dealInspect

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.

ParametersJSON Schema
NameRequiredDescriptionDefault
modeNo"sealed" (default, commit/reveal) or "open" (single round trip, low stakes).
api_keyYesYour redeal API key (get one free with create_key — no signup form).
algorithmYesAlgorithm id from list_algorithms: "split.v2" (recommended — fixed 1,000-point budget) | "split.v1" | "random.v1" | "shapley.v1".
retentionNo"standard" (inputs retained encrypted) or "purge" (destroyed 7 days after certification).
party_labelsYesOne label per party, e.g. ["alice", "bob"]. Party 0 is you (the initiator).
commit_deadlineYesCommit deadline as unix seconds UTC. Missed → deal EXPIRES (no certificate).
idempotency_keyNoOptional: retries with the same key + same arguments replay the original response.
reveal_deadlineYesReveal deadline as unix seconds UTC (after commit_deadline). Missed → deal goes VOID and a non-participation certificate names whoever didn't reveal.
algorithm_paramsNoAlgorithm-specific params from list_algorithms. split.v1/split.v2: {"items": [...]}; random.v1: {"drand_round": N}; shapley.v1: {"coalition_values": {...}}.
create_keyInspect

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.

ParametersJSON Schema
NameRequiredDescriptionDefault

No parameters

get_certificateInspect

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.

ParametersJSON Schema
NameRequiredDescriptionDefault
deal_idYesThe deal id (d_...).
credentialYesYour API key (initiator) or any party's invite token for this deal.
get_dealInspect

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.

ParametersJSON Schema
NameRequiredDescriptionDefault
deal_idYesThe deal id (d_...).
credentialYesYour API key (initiator) or any party's invite token for this deal.
get_entropyInspect

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.

ParametersJSON Schema
NameRequiredDescriptionDefault
deal_idYesThe deal id (d_...).
credentialYesYour API key (initiator) or any party's invite token for this deal.
list_algorithmsInspect

List redeal's algorithms (split.v2 fixed-budget fair division — recommended, split.v1 free-scale fair division, random.v1 verifiable random selection, shapley.v1 Shapley shares) 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.

ParametersJSON Schema
NameRequiredDescriptionDefault

No parameters

reveal_inputInspect

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.

ParametersJSON Schema
NameRequiredDescriptionDefault
saltNoYour hex salt from commitment time. Omit (or empty) for open-mode deals.
inputYesYour algorithm input exactly as committed (any JSON value). split.v1: {"valuations": {...}}; split.v2: same, but your valuations must sum to exactly 1000; random.v1: {"nonce": "<hex>"}; shapley.v1: {"accept": true|false}.
deal_idYesThe deal id (d_...).
invite_tokenYesThe invite token for YOUR party, from create_deal's response.
idempotency_keyNoOptional: retries with the same key + same arguments replay the original response.
validate_inputInspect

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.v2 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.

ParametersJSON Schema
NameRequiredDescriptionDefault
inputYesThe algorithm input you plan to commit (e.g. {"valuations": {"<item_id>": <points>}} for split.v2 — every party's valuations must sum to exactly 1000). Validated against the deal's algorithm and declared params; nothing is stored.
deal_idYesThe deal id (d_...).
invite_tokenYesThe invite token for YOUR party, from create_deal's response.
verify_certificateInspect

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.

ParametersJSON Schema
NameRequiredDescriptionDefault
cert_idYesThe certificate id (c_...). Verification is free and always will be.

Discussions

No comments yet. Be the first to start the discussion!

Related MCP Servers

View all MCP Servers

Try in Browser

Your Connectors

Sign in to create a connector for this server.