AI & Agent ToolsActive
NumProof
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
AI & Agent Toolsactivestreamable-httpRemotePackageOpen Sourcepypi
About This MCP Server
- Connection type
- Remote endpoint available
- Transport
- streamable-http
- Package registry
- pypi
- Package identifier
- numproof
- Remote endpoint
- Available
- Repository
- Available
- Registry
- io.github.projecttron/numproof
- Version
- 0.1.1
Install Command
Use this package command in an MCP client configuration.
uvx numproofSource & Metadata
- Registry name
- io.github.projecttron/numproof
- Status
- active
- Created
- Jun 26, 2026
- Updated
- Jun 26, 2026
- Last synced
- Aug 18, 2026
- Version
- 0.1.1
- Transport
- streamable-http
- Package type
- pypi
Related MCP Servers
AEO Scanner
AI visibility for ChatGPT/Perplexity/Claude — triple score (AEO+GEO+Agent) with fix code. Free.
streamable-httpactive
agent-tools (x402 + MCP + A2A directory)
Discover x402 services, MCP servers and A2A agents by intent — agent-tools.cloud directory.
streamable-httpactive
ai·rete·rag
Author rules from policy docs, then decide: a Rete engine gives the verdict, an LLM explains why.
streamable-httpactive
AiPayGen — 65+ AI Tools as an MCP Server
65+ AI tools as MCP: research, write, code, scrape, translate, RAG, agent memory, workflows
streamable-httpactive
Algenta MCP Server
Governed data discovery, exact queries, decisions, simulations, and runtime utilities over MCP.
streamable-httpactive
Animica
Read-only Animica chain data, free AI inference, verifiable quantum randomness, and mining stats.
streamable-httpactive