---
title: "Summa MST Inclusion Checker"
method: POST
path: "/v1/tools/verify_summa_mst_inclusion"
tags: ["Summa", "proof-of-reserves", "Merkle sum tree", "MST", "inclusion proof", "solvency", "crypto exchange", "verification"]
---

# Summa MST Inclusion Checker

`POST /v1/tools/verify_summa_mst_inclusion`

## Request

- Base URL: `https://ainumbers.co`
- URL: `https://ainumbers.co/v1/tools/verify_summa_mst_inclusion`
- Auth: none declared

Paste a published Merkle-sum-tree root (hash + sum) and an inclusion proof for one leaf, verify membership AND local balance-sum-chain consistency, entirely offline. Independently recomputes both the hash chain and the sum chain and rejects any negative balance or over-bound value anywhere in the path, closing the Maxwell eprint 2022/043 'broken MST' hazard at the application layer. Verify-only: never a solvency or reserve-sufficiency claim.

**Tool URL:** https://ainumbers.co/tools/620-summa-mst-inclusion-checker.html
**AP2/Policy Mandate export:** yes

## Request body

- object
  - `root` object, required: {hash, sum}
  - `proof` object, required: {leaf:{id,balance}, path:[{side,sibling_hash,sibling_sum}]}
  - `max_balance` string: Decimal-string BigInt domain bound

## Response `200`

Successful tool execution result

- object
  - `verdict` string: VERIFIED or NOT_VERIFIED
  - `reason` string, nullable
  - `computed_root` object, nullable
  - `declared_root` object

---

[API](https://skmtc.dev/ainumbers/apis/ainumbers-co-fintech-intelligence-suite.md) · [All operations](https://skmtc.dev/ainumbers/apis/ainumbers-co-fintech-intelligence-suite/llms.txt) · [OpenAPI document](https://skmtc.dev/ainumbers/apis/ainumbers-co-fintech-intelligence-suite/revisions/b462e4f5bb28?raw)