Redeal MCP Tools

• commit_input

  commit input

• compute_commitment_tool

  compute commitment tool

• create_deal Mutating

  create deal

• create_key Mutating

  create key

• get_certificate Read-only

  get certificate

• get_deal Read-only

  get deal

• get_entropy Read-only

  get entropy

• get_public_certificate Read-only

  get public certificate

• list_algorithms Read-only

  list algorithms

• reveal_input

  reveal input

• validate_input

  validate input

• verify_certificate

  verify certificate

This list was read from the server itself, by connecting to it and calling tools/list on 24 September 2026. It is what the server actually exposes, not what its listing claims.

Mutating and Read-only are read off each tool's name, not its schema — a hint, not a guarantee. The registry stores tool names only; connect the server for its live schemas.