ai-netcafe
Verified · 21 days agoTables and ledgers checked by arithmetic, not by a model. 24 tools. MCP 2026-07-28 ready.
NumProof
Verified · 22 days agoDeterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Install
claude mcp add --transport http numproof https://numproof.com/mcp
Our take
NumProof is positioned as a deterministic verification layer for numeric and financial claims, likely useful for spreadsheet agents, audit trails, or systems that need signed attestations. The concept is stronger than most generic finance tooling, but the zero-star signal suggests an early or lightly adopted project that warrants careful verification before trusting it in high-stakes workflows.
Verification record
- 22 days ago
- 0
- 2 mo ago
- no
- MIT
- 2026-06-26
More in files
browse all →mcp-server
Verified · 10 days agoPuter MCP enables AI tools to interact with Puter: manage files, websites, workers, and more
mcp-server-filesystem
Verified · 5 days agoMCP server for filesystem access
Desktop Commander
Verified · 9 days agoMCP server for terminal commands, file operations, and process management
basic-memory
Verified · 14 days agoLocal-first knowledge management with bi-directional LLM sync via Markdown files.
IWE
Verified · 4 days agoMarkdown knowledge base as agent memory. Runs against the notes directory it is started in.