4513 Model Context Protocol servers — searchable, rated, ready to install.
Source-linked building-permit search across 34 US states and DC, with county-level coverage.
Context intelligence for AI coding agents: navigation, impact, memory, guarded edits.
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
MCP server index: newest agent tools listed. $0.01/query. Register in-session — free testnet funds.
Hacker News front page: top stories, points, links. Register in-session — free testnet funds.
Cross-repository semantic code intelligence for AI coding agents, from a local code graph.
MCP server and CLI that resolves config/env-var cascade across .env, docker-compose, and Kubernetes
Registered Dubai apartment prices, rents, gross yields and returns, by building and by area.
Commission a multi-model AI spec committee from your agent; get rubric-scored, build-ready specs.
Real shortest sea routes between ports: distance, canals/straits, GeoJSON. UN/LOCODE aware.
Prediction-market news, $0.01/query. Register and buy inside this MCP session — free testnet funds.
Generate realistic, relational synthetic JSON test data from templates, via the JsonFabrica API.
AI pentesting: run scans, triage vulnerabilities, review PRs, manage schedules and assets.
Turn any task into the right API calls: discover, evaluate, and integrate public APIs.
A repository wiki of Markdown pages anchored to real code: read, search, and verified writes.
Free self-hosted x402 USDC billing for Cloudflare MCP servers, with a Base Sepolia test endpoint.
Base64 encode, input discarded
Design, solve and simulate HVAC systems from real components, weather years and buildings.
Create narrated presentations from HTML, poll build status, list them, read one back as text.
Toolbox for AI agent skills: scaffold, lint, pack, install, and serve SKILL.md skills
MCP server for SalesBuildr — quoting and sales workflows for MSPs.
Deterministic eligibility decisions and test-driven rule authoring via the Aethis developer API.
Hosted Python sandbox for package runtime verification: pip install and usable-import evidence.
Native runtime debugging via DAP-to-MCP for crashes, hangs, dumps, symbols, and forensics.
POST /mcp