MCP server

Redeal Official

dev.redeal/redeal

Checked 25 Oct 2026, 20:29 UTC · Connected to it and listed its tools

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

Website Source

At a glance

Type

MCP server

Publisher

redeal.dev (verified by the MCP Registry)

Status

Working at last check

Tools

12

Token cost

About 2,898 tokens per request

Sets up in

Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok

Last checked

25 Oct 2026, 20:29 UTC

Connect it to your agent

Add to CursorAdd to VS CodeVS Code Insiders

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

claude mcp add --transport http redeal https://api.redeal.dev/mcp

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.redeal]
url = "https://api.redeal.dev/mcp"

Gemini CLI

{"mcpServers":{"redeal":{"httpUrl":"https://api.redeal.dev/mcp"}}}

Cursor

{"mcpServers":{"redeal":{"url":"https://api.redeal.dev/mcp"}}}

VS Code

{"servers":{"redeal":{"type":"http","url":"https://api.redeal.dev/mcp"}}}

Antigravity

agy mcp add redeal https://api.redeal.dev/mcp

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"redeal","server_url":"https://api.redeal.dev/mcp","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"redeal","server_url":"https://api.redeal.dev/mcp"}

Tools

• commit_input ~260 tokens
  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 ~159 tokens
  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 ~859 tokens
  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 Changes accounts · ~67 tokens
  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 ~162 tokens
  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 ~164 tokens
  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 ~203 tokens
  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 ~160 tokens
  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 ~121 tokens
  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 ~317 tokens
  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 ~293 tokens
  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 ~133 tokens
  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.

Browse

• Email

Related MCP servers

• Pyfile LLM & Data API
  Pay-per-call LLM chat plus data tools: DNS, crypto, Base gas, Wikipedia. x402 USDC or Lightning.
• Citiview Agent Market
  186 pay-per-call tools: search, LLMs, UK KYB, FRED, Census, maps, crypto. x402 USDC.
• AIMarket — live agent marketplace
  Search and invoke real AI capabilities on modelmarket.dev. Free trial, then a prepaid key.
• Attested Memory Market
  Attestable memory, truth, provenance. Hybrid Ed25519 + ML-DSA-65 receipts; USDC settlement on Base.
• Fair Random
  Fair, reproducible randomness for agents: dice, coins, integers, list picks, shuffles, with seeds.
• Lightning Wallet
  Give AI agents a Bitcoin wallet with Lightning Network payments and L402 support.
• Brainonbnb Bobai
  BNB Chain agents: Plaza Board, ERC-8183 escrow status + free settle/refund, BSC trade cost, V3 LP
• HelpySelf
  More than a hundred everyday tools: PDFs, images, text, data, calculators, dice and currency.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/dev.redeal/redeal.svg)](https://aptlynx.net/servers/dev.redeal/redeal)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents