{"domain":"redeal.dev","name":"Redeal","url":"https://inite.ai/en/atlas/redeal.dev","site":"https://redeal.dev","summary":"Computes fair splits, auctions, Shapley shares and random picks from sealed inputs, issuing signed certificates anyone can verify.","forWhom":"Groups of people or AI agents who need a split, sealed-bid auction, or random pick that every party can verify.","useCases":["split a shared cost between parties by fixed budget","run a sealed-bid second-price auction with a hidden referee","pick one party at random with verifiable entropy"],"categories":[],"pricing":null,"priceMoves":[],"interfaces":{"readOn":"2026-10-26","apiDocs":"https://redeal.dev/docs","openapi":{"url":"https://redeal.dev/openapi.json","paths":15,"title":"Redeal API"},"mcp":[{"name":"dev.redeal/redeal","tie":"namespace","registered":true,"remotes":["https://api.redeal.dev/mcp"],"packages":[],"probe":{"state":"open","checkedOn":"2026-10-26","toolCount":12,"tools":["commit_input","compute_commitment_tool","create_deal","create_key","get_certificate","get_deal","get_entropy","get_public_certificate","list_algorithms","reveal_input","validate_input","verify_certificate"],"serverName":"redeal"}}],"mcpServerCard":null,"status":{"url":"https://redeal.dev/trust/status","indicator":null}},"mcpMeasured":{"server":"https://api.redeal.dev/mcp","checkedSince":"2026-10-26","dailyChecks":10,"uptimePercent":100,"medianMs":530,"signIn":"none","clientRegistration":null,"tools":12,"contextTokens":2535,"definitionsGrade":"B","definitionsScore":78,"typedResults":0,"failingChecks":{"params_typed":4,"annotations":12},"warnings":{"open_writes":["create_deal","create_key"]},"coverage":{"share":1,"cases":[{"useCase":"split a shared cost between parties by fixed budget","verdict":"covered","firstTool":"create_key","checks":null},{"useCase":"run a sealed-bid second-price auction with a hidden referee","verdict":"unsure","firstTool":null,"checks":null},{"useCase":"pick one party at random with verifiable entropy","verdict":"covered","firstTool":"create_key","checks":null}]},"adoption":{"npmWeekly":null,"pypiWeekly":null,"githubStars":null},"score":{"value":76,"parts":{"reliability":100,"coverage":100,"definitions":78,"context":100,"connect":100},"penalties":["open_writes"]},"advice":{"verdict":"with_care","why":["its tools do every use case checked: \"split a shared cost between parties by fixed budget\", \"pick one party at random with verifiable entropy\""],"how":["for \"split a shared cost between parties by fixed budget\", the likely first call is create_key","for \"pick one party at random with verifiable entropy\", the likely first call is create_key","create_deal, create_key change data without a sign-in: anyone with the URL can call them","parameters are untyped or undescribed in 4 of 12 tools: check arguments before calling"]},"method":"https://inite.ai/en/atlas/mcp/report"},"connect":{"order":["mcp","openapi","apiDocs","llmsTxt"],"mcp":[{"name":"dev.redeal/redeal","url":"https://api.redeal.dev/mcp","answers":"open","checkedOn":"2026-10-26","weakTie":false,"registry":"https://registry.modelcontextprotocol.io/v0/servers?search=dev.redeal%2Fredeal","config":{"mcpServers":{"redeal":{"url":"https://api.redeal.dev/mcp"}}},"install":{"transport":"http","claudeCode":"claude mcp add --transport http redeal https://api.redeal.dev/mcp","cursor":"cursor://anysphere.cursor-deeplink/mcp/install?name=redeal&config=eyJ1cmwiOiJodHRwczovL2FwaS5yZWRlYWwuZGV2L21jcCJ9","vscode":"vscode:mcp/install?%7B%22name%22%3A%22redeal%22%2C%22type%22%3A%22http%22%2C%22url%22%3A%22https%3A%2F%2Fapi.redeal.dev%2Fmcp%22%7D","connector":{"url":"https://api.redeal.dev/mcp","note":"Add it as a custom connector in the client’s settings; the client opens the sign-in itself when the server asks for one."}}}],"openapi":{"url":"https://redeal.dev/openapi.json","paths":15},"apiDocs":"https://redeal.dev/docs","llmsTxt":"https://redeal.dev/llms.txt","status":"https://redeal.dev/trust/status","readOn":"2026-10-26"},"trust":{"readOn":"2026-10-26","certifications":[],"training":null},"used":0,"alive":100,"traits":{"buyer":"developer","deployment":null,"developerFocus":null,"readAt":"2026-10-26"},"verifiedPlans":null,"fromVendor":null}