18660 Model Context Protocol servers — searchable, rated, ready to install.
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Browser-native AI agents for X (Twitter): multi-account, MCP-ready, no X API key required.
Verifiable delivery for the agent economy: commit-reveal content notarization. Sellers commit to a d
Agent-work MCP: free context preflight and page-read previews, paid x402 HTTP upgrades.
Check if a brand name is free across domains, GitHub, npm and PyPI, and suggest available names.
Create, translate, and plan Cookidoo recipes with guided Thermomix actions and shopping lists.
Deterministic policy firewall for AI agent tool calls - YAML rules, not a fuzzy risk score.
RunAPI MCP server for Qwen Image: create tasks, poll status, check pricing.
Turn HTML or mobile-learning exports into SCORM 2004/1.2 packages, and validate any SCORM zip.
Screen a name vs Nigeria's NIGSAC sanctions register. Best-effort signal, not compliance-grade.
Find Nigerian health facilities near a point, sorted by distance. GRID3, keyless.
184 MCP tools for field-service CRM, scheduling and double-entry accounting. Hosted; BYO agent.
King Crimson discography and live-performance history with a curated line-up-era model.
NOAA RTOFS global ocean forecast — SST, salinity, currents, depth profiles via CoastWatch ERDDAP
Read-only search, todo listing, and daily note access for a WhyNote account
Indiana BMV branches, kiosks, BMV Connect and motorcycle skills-test locations
AI resale manager. Photograph an item, AI writes the listing, publish a sale page, manage pickups.
MCP server for PostgreSQL performance auditing with actionable SQL fixes.
Memory your agent can trust — every answer carries its source; when it doesn't know, it says so.
Indian NSE/BSE research data and mechanically-computed ratios; read-only market tools.
Verify stock theses against public filings with a source-backed evidence ledger.
Unofficial MCP server for reading and managing Cloudcraft architecture blueprints
Read-only finance and operations controls for AI agents with evidence and safe next actions.
Find trending content and schedule posts across social networks via the ViralHunt.io API.
POST /mcp