Checkbooth
Server Details
Independent signed math checks for AI agents: PASS or FAIL plus a link anyone can open. Free beta.
- Status
- Healthy
- Last Tested
- Transport
- Streamable HTTP · MCP 2025-06-18
- URL
- ChatGPT
- –
- Claude
- –
TDQS
Score is being calculated.
Available Tools
12 toolsaudit_text_roundingRead-onlyIdempotentInspect
Paste text (up to 8,000 characters). We find every inline "arithmetic = number" claim and recompute it at the stated digits. Signed receipt. We keep only hashes of your text.
| Name | Required | Description | Default |
|---|---|---|---|
| text | Yes |
discover_capabilitiesRead-onlyIdempotentInspect
List the whole Checkbooth tool chest with honest status tags (BUILT, COMING, ON REQUEST). Filter by words, drawer or status. Free.
| Name | Required | Description | Default |
|---|---|---|---|
| query | No | ||
| drawer | No | ||
| status | No | ||
| include_staged | No | Default false: only tools you can call right now. |
issue_sandbox_keyRead-onlyIdempotentInspect
Get a free capped beta key (bb_test_...). Shown once; we keep only its hash.
| Name | Required | Description | Default |
|---|---|---|---|
No parameters | |||
quoteRead-onlyIdempotentInspect
Exact credit price of any capability before you spend anything. Free.
| Name | Required | Description | Default |
|---|---|---|---|
| capability | Yes |
request_capabilityRead-onlyIdempotentInspect
Vote for a COMING capability, or describe one we do not list. Free; helps decide what opens next.
| Name | Required | Description | Default |
|---|---|---|---|
| use_case | No | ||
| capability | Yes |
run_slice_chainRead-onlyIdempotentInspect
Run up to 8 checks or slice tools in one call and get ONE signed bundle receipt. Planning and math verification check only — not a licensed professional engineering review, stamp, or sign-off.
| Name | Required | Description | Default |
|---|---|---|---|
| steps | Yes |
run_slice_toolRead-onlyIdempotentInspect
Run one of our tested house math slices (sound speed, echo range, drop shock, field magnitude and more) on YOUR inputs. Only slices whose worked examples reproduce exactly are callable. Each result carries the slice's own limits. Planning and math verification check only — not a licensed professional engineering review, stamp, or sign-off.
| Name | Required | Description | Default |
|---|---|---|---|
| slice | Yes | ||
| inputs | Yes |
seal_bundle_receiptRead-onlyIdempotentInspect
Verify 2 to 20 of your Checkbooth receipts and seal them into ONE signed design-review bundle with a single /check link.
| Name | Required | Description | Default |
|---|---|---|---|
| tokens | Yes | ||
| review_title | No |
verify_claims_against_receiptsRead-onlyIdempotentInspect
Paste a README, PR description, spec or memo plus the Checkbooth results it relies on. We check every number in the text against those signed results and flag overclaim phrases (for example "verified across all conditions", "guaranteed", "certified"). Deterministic, no AI. Signed receipt.
| Name | Required | Description | Default |
|---|---|---|---|
| text | Yes | ||
| results | Yes | Full Checkbooth results exactly as returned (each carries its receiptToken). |
verify_math_or_toleranceRead-onlyIdempotentInspect
Independent, signed recompute of your numbers: formula, worst-case tolerance stack, power budget, Nyquist sampling, or rated range. Returns PASS/FAIL/INVALID and a receipt a second party can check at /check. Planning and math verification check only — not a licensed professional engineering review, stamp, or sign-off.
| Name | Required | Description | Default |
|---|---|---|---|
| check | Yes |
verify_report_receiptRead-onlyIdempotentInspect
Check that a Checkbooth receipt is genuine and unchanged. Free, no key needed.
| Name | Required | Description | Default |
|---|---|---|---|
| token | Yes |
verify_trig_expressionRead-onlyIdempotentInspect
Recompute a formula that uses trig (sin, cos, tan, asin, acos, atan; degree forms sind, cosd, tand, asind, acosd, atand) and compare it to a target. Signed receipt. Planning and math verification check only — not a licensed professional engineering review, stamp, or sign-off.
| Name | Required | Description | Default |
|---|---|---|---|
| expect | Yes | ||
| values | No | ||
| expression | Yes |
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
12 tool updates
- First observed
audit_text_rounding - First observed
discover_capabilities - First observed
issue_sandbox_key - First observed
quote - First observed
request_capability - First observed
run_slice_chain - First observed
run_slice_tool - First observed
seal_bundle_receipt - First observed
verify_claims_against_receipts - First observed
verify_math_or_tolerance - First observed
verify_report_receipt - First observed
verify_trig_expression
Related MCP Connectors
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Independent, signed check of AI work: math, quotes, sources, links, code. Public verifiable log.
Deterministic fact verification for AI agents — checksums & curated data, not guesses.
One-stop claim verification for AI agents: verdicts with confidence, evidence, signed receipts.
Related MCP Servers
- AlicenseNot gradedqualityAmaintenanceEnables AI agents to perform precise arithmetic—including fractions, decimals, irrationals, and large integers—by cross-checking every result against two independently written engines and returning only agreed-upon answers.31 PyPI2MIT
- AlicenseAqualityBmaintenanceFree VOP (Verified Output Protocol) verification for AI agent outputs — score any output 0-100 and get a PASS/PARTIAL/FAIL verdict. No account, no escrow, no financial transaction of any kind.9MIT
- FlicenseNot gradedqualityNot gradedmaintenanceArithym — lightweight precision math for agents on the go. Exact arithmetic MCP server with 62 tools, zero hallucination, sub-millisecond computation and is 61% cheaper than Python code execution at scale.-
- AlicenseNot gradedqualityBmaintenanceEnables AI agents to verify claims deterministically by computing arithmetic, ratios, and dates and matching statements against provided sources, returning a confidence ladder of certain, source-backed, or unverifiable.MIT
Glama MCP Gateway
Add one secure layer between your agents and this server.