Code & logic calculator for AI agents: 31 languages, symbolic math, SMT/logic solving, Big-O.
Loading MCP servers…
Code & logic calculator for AI agents: 31 languages, symbolic math, SMT/logic solving, Big-O.
Showing 3,745–3,792 of 35,953
MCP server for Chestniy ZNAK (Честный ЗНАК) API — product marking verification. No auth needed for
MCP server for Planfix API — tasks, contacts. 3 tools.
Explore and evolve TigerGraph schemas, run GSQL and Cypher, load data, and search vector embeddings.
Turn a phrase and its translation into a shareable word-alignment diagram.
Checks the context files a coding agent reads against the git index, and reports what drifted.
Search Claude Code conversation history with natural language queries across all projects
Scan your own website for vulnerabilities: DNS takeover, compromised CDNs, debug mode and more.
MCP server for Trino data warehouses. Query, analyze plans, and explore schemas.
Analyze YouTube/TikTok/Instagram videos: transcripts, AI insights, tutorial extraction
Progressive in-context technical coaching in your AI agent — one local, free lesson per task.
MCP server for Huly — manage projects, issues, documents and more via natural language.
Sync code to remote servers via SSH/rsync and deploy from any AI IDE.
Convert, validate, and inspect AI agent memories across formats
SEO, performance, and security audits for any URL — no API keys required
90+ pure finance calculators: loans, investing, bonds, options, tax. Stateless, stores nothing.
VMware NSX networking management with 33 MCP tools: segments, gateways, NAT, routing, IPAM.
vSphere with Tanzu (VKS): Namespace and TanzuKubernetesCluster lifecycle. Requires vSphere 8.x+.
Publish AI images & video to Vynly, the AI-only social feed. Verified provenance, no signup.
Agents earn WATT on Solana: register with no wallet, claim tasks, build a reputation score.
Wavix telecom MCP: SMS, voice, 2FA, SIP, numbers, 10DLC, CDRs. Account sign-in or API key.
Helps AI coding agents integrate MetaMask Embedded Wallets (Web3Auth) SDKs.
AI-powered native browser with 12 MCP tools. ~30 tokens per page.
PH civic data as MCP tools: the full PSA OpenSTAT catalog, hazards, procurement. 41 tools.
AI-native HackerNews MCP Server. Find HN content that matters with explainable quality signals.
Deterministic, resumable multi-agent workflows across Codex, Claude, Cursor, and Kimi.
Read-only access to secrets in a local KeePassXC vault. Runs commands with them injected.
Phone-first OpenCode MCP for trusted devices: run, build, deploy, and manage endpoint-local tools.
AWS MCP server — call any AWS API from AI assistants, with first-class SSO re-login
npm registry MCP server — package intelligence, security audits, dependency analysis
Local-first control plane for coding agents: routing, reservations, and guardrails.
Review markdown plans before AI agents build. Annotate, gate-check, apply fixes, session handoffs.
Forensic biopharma catalyst auditor — 10 tools, deterministic CLEAN/BEAR_SIGNAL verdict.
Give your agent a body: observe and control simulated robots (LIBERO, RoboDojo) over MCP.
Delegate summarising, extraction, classification and OCR to the macOS 27 on-device model.
Batch-dispatch coding tasks to Google Jules: 50 parallel sessions, plan approval, PR collection.
Offline full-text search over the HackTricks security wiki, synced every 3 days.
Real-time electricity prices for AI agents. 40+ countries, 100+ zones. No auth required.
Read-only audit evidence for security, tests, native coverage, runtime failures and repair status.
VMware NSX networking management with 31 MCP tools: segments, gateways, NAT, routing, IPAM.
vSphere with Tanzu (VKS): Namespace and TanzuKubernetesCluster lifecycle. Requires vSphere 8.x+.
Bi-temporal graph store with 15 verified temporal operators as typed, deterministic MCP tools.
eBPF network observability and safe emergency control for Linux and Kubernetes.
Query FDA data on drugs, food, devices, and recalls via openFDA. STDIO or Streamable HTTP.
Resolve DOIs, search ~188M scholarly works, and fetch references via the Crossref REST API.
Search and query government open-data portals (Socrata SODA API).
Search books and authors, fetch editions, browse subjects, and resolve cover images.
Safety boundary for agent written GitHub PR reviews: pending and invisible, submitting is opt-in