# numproof

> numproof — projecttron-numproof. Use this tool when you need to verify numeric claims or audit spreadsheets with deterministic precision, enabling AI agents to evaluate mathematical and financial assertions with independently checkable receipts. It solves problems of data integrity and accuracy in financial modeling and reporting. The numproof tool takes in numeric data and spreadsheet rows, and outputs verified results with signed receipts.

Canonical page: https://skillsregistry.net/skills/projecttron-numproof  
JSON: https://api.skillsregistry.net/v1/skills/projecttron-numproof

## Description

MCP server for deterministic numeric verification and spreadsheet auditing. Enables AI agents to verify math/finance claims, audit rows, and evaluate covenant rules with signed, independently checkable receipts.

## Trust

- **Trust score (0–1):** 0.68
- **Verification tier:** scanned
- **Last scanned:** 2026-08-29

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** finance
- **Updated:** 2026-08-29

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/zfvf9ejtjt)
- **Repository:** <https://github.com/projecttron/numproof>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "projecttron-numproof"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/projecttron-numproof` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/projecttron-numproof/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt