Provenancewhere it came from, and what was verified
Published to the official MCP registry by github.com/projecttron, which proved it owns this namespace.
π‘ Permissions & trustwhat this server can touch before you run it
About
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Packages & transports
Computed from the server's own data, not a hidden formula. This measures how much you can depend on it, not how popular it is. Stars are shown separately, on purpose. How it's scored β
βΈverify_claim75B
βΈaudit_rows75B
βΈdiff_rows75B
βΈcovenant_rules75B
Structural, not an LLM's opinion: each check is a fact about the tool's schema, so it's reproducible. One weak tool drags the score (60% average, 40% worst). How it's scored β
Raise this grade
up to +18 on qualityOwn this server? Here's exactly what to change, biggest wins first. Every number below is a fixed point value, so you can see what each edit is worth before you make it.
Push to the repo or cut a release. Activity within the last 30 days earns the full 45.
With no reviews this sits at a neutral 11. Reviews reporting it works push it toward the full 20.
- 1 of 1 params have no description: `claim`. Describe each one.
- 1 of 1 params have no description: `rows`. Describe each one.
- 2 of 2 params have no description: `rows_after`, `rows_before`. Describe each one.
- 3 of 3 params have no description: `rows`, `rules`, `rule_pack`. Describe each one.
Already earned (4) βΎAlready earned (4) β΄
These are structural checks, so the fixes are exact. See the full formula β
Add a badge to your README
[](https://socketcat.com/servers/io.github.projecttron/numproof)Shows your live quality grade and links back here. It updates itself as the grade changes.
Reviews
Sign in to leave a reviewNo reviews yet. Be the first to say whether it worked.
{
"mcpServers": {
"numproof": {
"command": "uvx",
"args": [
"numproof"
]
}
}
}βΆ Try itlive against numproof.com
This server has a hosted endpoint, so we can connect and list its actual tools right here. Nothing runs on your machine.