"author:projecttron" matching MCP servers:

• numproof

  projecttron

  A

  license

  -

  quality

  B

  maintenance

  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.

  Last updated 2026-06-26

  MIT