Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Maintain this server? Claim it
Call this server's tools from your browser. Nothing to install.
Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.
Tool list from our last check. Connect live to refresh it.
Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.
This tool isn't marked read-only, so it may change something on the server or in an account you connected.
Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.
| Argument | Type | Description |
|---|---|---|
| rows* | array |
{
"type": "object",
"required": [
"rows"
],
"properties": {
"rows": {
"type": "array"
}
}
}Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.
| Argument | Type | Description |
|---|---|---|
| rows* | array | |
| rules | array | |
| rule_pack | string |
{
"type": "object",
"required": [
"rows"
],
"properties": {
"rows": {
"type": "array"
},
"rules": {
"type": "array"
},
"rule_pack": {
"type": "string"
}
}
}Compare two report versions by numeric row labels with provenance.
| Argument | Type | Description |
|---|---|---|
| rows_after* | array | |
| rows_before* | array |
{
"type": "object",
"required": [
"rows_before",
"rows_after"
],
"properties": {
"rows_after": {
"type": "array"
},
"rows_before": {
"type": "array"
}
}
}Exactly verify a math/finance claim (VERIFY/REFUTE/ABSTAIN) with a counterexample when false. Use before trusting any AI-produced number, sum, percentage, or formula.
| Argument | Type | Description |
|---|---|---|
| claim* | string |
{
"type": "object",
"required": [
"claim"
],
"properties": {
"claim": {
"type": "string"
}
}
}