Schema | numproof

numproof

Describes the environment variables required to run the server.

Name	Required	Description	Default
`NUMPROOF_API_KEY`	Yes	Your NumProof API key for verification. Obtain one by signing up at https://numproof.com/signup.

Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.

This server publishes no instructions, or was last inspected before Glama recorded them.

Features and capabilities supported by this server

Protocol revision2025-11-25

Capability	Details
`tools`	{}

Functions exposed to the LLM to take actions

Name	Description
verify_claimA	Exactly verify a math/finance claim -> VERIFY/REFUTE/ABSTAIN with certificate and counterexample.
audit_rowsB	Audit spreadsheet-like rows for footing, margins, formula cells, and cell provenance.
diff_rowsB	Compare two report versions by numeric row labels with provenance.
covenant_rulesB	Check finance covenant rules (e.g. DSCR, Debt/EBITDA) over labeled rows; rule_pack selects a built-in pack such as credit_covenants_basic. Returns a signed covenant bundle.

Interactive templates invoked by user choice

Name	Description
No prompts

Contextual data attached and managed by the client

Name	Description
No resources

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/projecttron/numproof'

If you have feedback or need assistance with the MCP directory API, please join our Discord server