Verify a mortgage's monthly principal-and-interest payment in two stages: TVM annuity computation of the level payment (ART-327), then a session receipt aggregating the run's execution hashes (CRY-05). Pure time-value-of-money mathematics; no regulation applies.
compute_annuity{
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"name": "compute_annuity",
"arguments": {}
},
"id": 1
}
aggregate_execution_receipts{
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"name": "aggregate_execution_receipts",
"arguments": {}
},
"id": 1
}
Copy this paragraph into Claude, OpenClaw, or any MCP-aware agent to run this whole workflow on the server and check one field that answers a real question.
Question: A $400,000 mortgage at 6.5% annual rate for 30 years. What is the monthly principal-and-interest payment?
Run the AINumbers MCP tool `run_chain` with {"chain":"mortgage-pi-verifier"} and read `art-327-tvm-annuity.pmt`.
Re-run with `inputs` for `art-327-tvm-annuity`, reusing the values that result echoed, with `pv` set to 500000. Compare the same field.
Verify: call `verify_execution_hash` (https://mcp.ainumbers.co/mcp) with `claimed_hash` set to `composite_execution_hash` and the full `composite_artifact`.
Ledger, for a human re-check: https://ledger.ainumbers.co/
PII rule: send synthetic or anonymised inputs only. The MCP server runs these kernels and logs no payloads.
Chain page: https://ainumbers.co/chaingraph/chains/mortgage-pi-verifier.html