6038 Model Context Protocol servers — searchable, rated, ready to install.
Reads the licence field in the open manifest and names every deprecated SPDX id, invalid string, PEP
140 deterministic tools for your AI: logs, tests, SQL, diagrams, SPARQL. Local, no network.
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Verified component catalog over remote MCP: agents pick ids and get a project that builds.
Storm risk, route risk and reanalysis backtests for any point on earth. No key, no wallet.
Marks every base image in your Dockerfiles, compose files and CI workflows whose security patches ha
Turn a fillable PDF into an online form, build funnels, read submissions.
EU Cyber Resilience Act (CRA, Regulation (EU) 2024/2847) compliance MCP server. 4 tools, 11 tests. A
Create narrated presentations from HTML, poll build status, list them, read one back as text.
Attestroom: the monthly searches, read from search (a month), served as an agent-callable...
Playwright-style MCP to inspect, control, and debug PySide6 desktop GUIs.
{"jsonrpc":"2.0","id":1,"method":"tools/call","params":{"name":"whoami","arguments":{}}} free no key
Delegate a self-contained task to opencode's free-tier models as a one-shot subagent.
Call every global AI model through one OpenAI-compatible API. One key, all models.
Decode Base txs: plain English, strict JSON, risk flags, no LLM. 50 free/24h per IPv4 or /64, $0.02.
Persistent memory for AI agents, for code, research and everyday life. Stale facts retire.
Unicode word count, text discarded
Punycode host check
Source-linked building-permit search across 34 US states and DC, with county-level coverage.
Prediction-market news, $0.01/query. Register and buy inside this MCP session — free testnet funds.
Real shortest sea routes between ports: distance, canals/straits, GeoJSON. UN/LOCODE aware.
MCP server that builds and validates LC-MS worklists for MassLynx, SCIEX OS, MassHunter, Xcalibur.
Review and safely clean local Codex and Claude Code sessions
Enrich contacts by email or LinkedIn URL and build targeted B2B audiences.
POST /mcp