gonzalgo
Local installio.github.vince-gonzalez/gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Independent verification that a change kept its declared constraints. No model in the verdict path.
Read and write one codebase ontology kept as Markdown in the repository.
ESPN draft and lineup analysis for Codex and MCP clients. Live actions use the ESPN companion.
Verify the facts an agent's action depends on before it acts — ALLOW, REVIEW, or BLOCK.
An Oracle MCP server built from the PL/SQL, tables and statements you select. No run-sql tool
Overwatch 2 MCP for hero meta, public player stats, replays, patch notes, and OWCS Korea.
WordPress edit previews, scoped correction checks, and change records for trusted operators.
Look up amateur radio repeaters from RepeaterBook.com by location, band, and mode.
Read, search, and send personal WhatsApp messages from any MCP client, behind a send-confirm gate.
Provenance-aware memory format for AI agents: every claim carries its source, age and boundary.
Inspect webhooks from Cursor or Claude. No account needed. Pro adds permanent slugs.
Lets AI coding agents coordinate asynchronously through a private git repository. No server.
Secure Linux sandboxes for AI agents, as MCP tools.
MCP server for Yandex Direct API v5: 113 methods from the machine-readable schema
AI-powered CRM diagnostics, workflow audits, and industry benchmarks for SMBs.
Read and operate a Comunio fantasy football team: squad, market, offers, lineup
Runs a command, keeps every byte on disk, returns only the lines that matter
Free Google Trends MCP: ranked breakout/rising/evergreen topics for content ideas. No API key.
Persistent, evidence-backed code graph for coding agents.
ABAP MCP connector for SAP ECC and on-premise S/4HANA. Requires a licensed ABAPilot backend.
MCP server for Microsoft Fabric Data Warehouses and SQL Analytics Endpoints
Diagnose GitHub Actions CI: lint, flaky tests, wasted minutes, health score. Read-only MCP tools.
Figma MCP: list frames in a file and fetch one frame's JSON and image safely. 2 tools.
Lets AI agents read the real source of any Maven dependency, decompiled from ~/.m2 or Central.
Budget-bound x402 payment wallet for AI agents — pays HTTP 402 URLs, capped locally. No backend.
Offline verification of local evidence carriers, fleet briefs, and hash-only trade-safety receipts.
Agent-safe Excel workbook analysis, editing, recalc, and verification tools.
Local Redis memory MCP for AI apps with hybrid caching and optional Mem0 cloud backup.