NumProof
Server Details
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
- Status
- Healthy
- Last Tested
- Transport
- Streamable HTTP
- URL
- Repository
- projecttron/numproof
- GitHub Stars
- 0
Glama MCP Gateway
Connect through Glama MCP Gateway for full control over tool access and complete visibility into every call.
Full call logging
Every tool call is logged with complete inputs and outputs, so you can debug issues and audit what your agents are doing.
Tool access control
Enable or disable individual tools per connector, so you decide what your agents can and cannot do.
Managed credentials
Glama handles OAuth flows, token storage, and automatic rotation, so credentials never expire on your clients.
Usage analytics
See which tools your agents call, how often, and when, so you can understand usage patterns and catch anomalies.
Tool Definition Quality
Average 3.1/5 across 4 of 4 tools scored.
Each tool targets a distinct task: auditing spreadsheet integrity, evaluating covenants, comparing versions, and verifying claims. No overlap in functionality.
Three tools use verb_noun pattern (audit_rows, diff_rows, verify_claim). covenant_rules breaks the pattern but is still clear and readable.
4 tools is well-scoped for a specialized server focused on spreadsheet analysis and verification. No extraneous tools.
Coverage is good for auditing and verification tasks. Missing features like data import/export or row editing are not core to the stated purpose, so only a minor gap.
Available Tools
4 toolsaudit_rowsCInspect
Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.
| Name | Required | Description | Default |
|---|---|---|---|
| rows | Yes |
Tool Definition Quality
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations, the description carries full burden. It lists audit checks but does not disclose whether the tool is read-only, what side effects exist, error behavior, or performance characteristics. The lack of behavioral context is a significant gap.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is a single sentence, efficiently stating the purpose. No wasted words, though a slightly more structured format (e.g., listing audit types) could improve clarity without losing brevity.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
Given the simple input schema but lack of output schema and annotations, the description is insufficiently complete. Missing details on return values, error codes, input format constraints, and usage context leave the agent under-informed.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema description coverage is 0%, so the description must compensate. It only mentions 'spreadsheet-like rows' but does not define the structure, required fields, or constraints of the 'rows' array. No additional meaning beyond the schema is provided.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description specifies a clear action ('audit') on a resource ('spreadsheet-like rows') and lists specific audit items (footing, balance-sheet ties, margins, provenance). This distinguishes it from siblings like 'diff_rows' or 'verify_claim'.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description does not provide any guidance on when to use this tool versus alternatives, nor any exclusions or prerequisites. It only describes what the tool does, leaving the agent to infer usage context.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
covenant_rulesCInspect
Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.
| Name | Required | Description | Default |
|---|---|---|---|
| rows | Yes | ||
| rules | No | ||
| rule_pack | No |
Tool Definition Quality
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
No annotations are provided. The description does not disclose behavioral details such as idempotency, destructive potential, authentication requirements, return format, or what 'with provenance' means operationally.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is two sentences with no unnecessary words. It is front-loaded with the core purpose, achieving maximum conciseness.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
Despite low complexity (3 params, no output schema), the description is too brief. It lacks details on parameter structure, expected output, and when to use compared to siblings. Important context like what constitutes 'provenance' is missing.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
The schema has 0% description coverage. The description adds only that 'rows' are 'spreadsheet-like' and that 'rules' and 'rule_pack' are alternatives, but it does not explain their formats, constraints, or how they interact.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description explicitly states the action 'evaluate' and the resource 'threshold/covenant rules over spreadsheet-like rows with provenance'. It also mentions the two alternative input formats. However, it does not differentiate from sibling tools like audit_rows or verify_claim, which could also involve evaluation.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description provides minimal guidance: 'Use either rules or rule_pack.' It does not explain when to use this tool versus alternatives, prerequisites, or when it should not be used.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
diff_rowsCInspect
Compare two report versions by numeric row labels with provenance.
| Name | Required | Description | Default |
|---|---|---|---|
| rows_after | Yes | ||
| rows_before | Yes |
Tool Definition Quality
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
No annotations provided, so description carries full burden. It mentions 'provenance' but does not disclose destructive/read-only nature, permissions, rate limits, or any behavioral traits beyond comparing versions.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
One sentence with no wasted words, efficient. However, it could be slightly expanded for clarity without becoming verbose.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
Simple tool but description lacks completeness. No output schema, no details on what comparison produces (e.g., diff result). Missing behavioral and result context.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema coverage is 0%, yet description adds minimal meaning ('by numeric row labels'). Parameters 'rows_before' and 'rows_after' are arrays, but no format or type details beyond 'numeric row labels' is implied.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description clearly states the tool compares two report versions using numeric row labels, with provenance mention. It distinguishes from siblings (audit_rows, covenant_rules, verify_claim) by focusing on version comparison.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
No guidance on when to use this tool versus alternatives. The description does not specify context, prerequisites, or scenarios for use.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
verify_claimAInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| claim | Yes |
Tool Definition Quality
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Discloses that the tool returns VERIFY/REFUTE/ABSTAIN and provides counterexamples when false. No annotations are present, so the description carries the full burden. However, it lacks details on processing, side effects (likely read-only), or constraints like input format.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
Two sentences that efficiently convey the core purpose, outputs, and usage guidance. No unnecessary words.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
Given no output schema, it appropriately describes possible outputs and a counterexample. For a single-parameter tool, it covers the essential context but could specify claim format or error behavior.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
The sole parameter (claim) is described only as 'a math/finance claim'. With 0% schema description coverage, the description fails to add meaningful syntax, format, or examples beyond the bare type.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
Description clearly states the action (verify), domain (math/finance), possible outputs (VERIFY/REFUTE/ABSTAIN), and use case (before trusting AI-produced numbers). It distinguishes from sibling tools (audit_rows, covenant_rules, diff_rows) by focusing on claim verification.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
Explicitly advises using before trusting AI-produced numbers, sums, percentages, or formulas. Does not explicitly list when not to use or alternatives, but the context with sibling tools makes the usage clear.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
Claim this connector by publishing a /.well-known/glama.json file on your server's domain with the following structure:
{
"$schema": "https://glama.ai/mcp/schemas/connector.json",
"maintainers": [{ "email": "your-email@example.com" }]
}The email address must match the email associated with your Glama account. Once published, Glama will automatically detect and verify the file within a few minutes.
Control your server's listing on Glama, including description and metadata
Access analytics and receive server usage reports
Get monitoring and health status updates for your server
Feature your server to boost visibility and reach more users
For users:
Full audit trail – every tool call is logged with inputs and outputs for compliance and debugging
Granular tool control – enable or disable individual tools per connector to limit what your AI agents can do
Centralized credential management – store and rotate API keys and OAuth tokens in one place
Change alerts – get notified when a connector changes its schema, adds or removes tools, or updates tool definitions, so nothing breaks silently
For server owners:
Proven adoption – public usage metrics on your listing show real-world traction and build trust with prospective users
Tool-level analytics – see which tools are being used most, helping you prioritize development and documentation
Direct user feedback – users can report issues and suggest improvements through the listing, giving you a channel you would not have otherwise
The connector status is unhealthy when Glama is unable to successfully connect to the server. This can happen for several reasons:
The server is experiencing an outage
The URL of the server is wrong
Credentials required to access the server are missing or invalid
If you are the owner of this MCP connector and would like to make modifications to the listing, including providing test credentials for accessing the server, please contact support@glama.ai.
Discussions
No comments yet. Be the first to start the discussion!
Related MCP Servers
- Alicense-quality-maintenanceDeterministic verification for AI-generated analysis. Reconciliation, consistency and Excel-integrity checks that stop the line when the numbers don't add up.Last updatedMIT
- Alicense-qualityBmaintenanceVerify a number before an agent asserts it — a Deflated Sharpe Ratio for backtest, plus eval-gap, subset-win, and judge-bias checks, with signed receipts anyone can verify offline.Last updated1MIT
- Flicense-qualityCmaintenanceTamper-evident cryptographic audit trail for LLM outputs. Compliance logging for AI agent decisions.Last updated

emilia-mcp-serverofficial
AlicenseAqualityAmaintenanceThe accountability layer for AI agents — a named human's signed yes before an agent does anything irreversible (payment, record change, deploy), then an offline-verifiable Trust Receipt. Apache-2.0, formally verified.Last updated177Apache 2.0