io.github.projecttron/numproof
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
2,604 servers
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Audit a site's structured data and llms.txt, match a trade to a template, and quote real prices.
MCP server for retrieving block-level data from EVM, UTXO, and XRP blockchains via Crypto APIs
IBGE: geography, census, economy and health from the official APIs, with provenance. 23 tools.
Makuri (EU AI tutoring for immigrant children): 11 tools, 2 interactive panels, no user data.
Similarity search, hybrid search, and index management for pgvector-backed PostgreSQL tables
Safety-first Terraform: confirmation-gated apply/destroy, risk & cost analysis, drift detection
AWS S3 MCP — list buckets, browse objects, upload/download, presigned URLs.
Generate realistic relational test data — 156 field types, 22 locales, JSON/CSV/SQL, free previews.
Persistent memory for AI coding agents. Local-first SQLite + vector search. 17 MCP tools.
Discover game Discord servers with direct invites, first-party source proof, platform details
Search URDB for product integrity scores, enshittification events, and change tracking.
Your health data (weight, macros, weigh-ins) as MCP tools — in your own Supabase, zero custody.
Math & statistics graphing, computation, visualization, and validation engine
Read-only Kafka observability MCP server: cluster health, consumer lag, and replay-readiness.
A production-ready Model Context Protocol (MCP) server for Apache Kafka. Features Information Flow Control (IFC) sandboxing, granular namespace isolation, and strict bounded buffers to securely bridge autonomous AI agents with enterprise streaming infrastructure.
145+ tools across 8 databases: MySQL, PostgreSQL, Redshift, MongoDB, Redis, Kafka, and more
Atabey — AI Governance & Multi-Agent Platform / Orchestrator — MCP Server
Draw pixel-art tiles and tilesets for 2D games, with PNG+metadata export for Unity.
BigQuery MCP server for Claude — query any BigQuery dataset in natural language, with built-in SEO analysis tools for GSC bulk export data