"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP connectors:
GET /v1/connectors — MCP directory API referenceMatching Connector Tools:
Official OmniSocials MCP server — schedule and publish posts, stories, and reels across 11 platforms (Instagram, Facebook, LinkedIn, YouTube, TikTok, X, Pinterest, Bluesky, Threads, Mastodon, Google Business), plus media, analytics, hashtag sets, inbox, and webhooks.
Serves your design system and coding standards to coding agents, so they stop guessing.
The OpenRouter MCP server plugs OpenRouter into the AI tools you already use. Once connected, your assistant can pull live OpenRouter data (models, prices, your credits, rankings, and docs) and send quick test messages, all without leaving your editor.
Federated search of books and papers, BibTeX/RIS citations, open-access retrieval and reading.
Find wines and compare live merchant prices in your region. Fair-deal search, My Wine OAuth login.
Rug pull risk and on-chain forensics for tokens on Solana, Ethereum, Base and Robinhood.
Conformance checker for MCP servers. Free, no key, verdicts recomputable and re-measured daily.
Never let your agent repeat a bug or linger on a known issue. Search 385+ failure lessons to skip known errors instantly.
Reference data for prediction markets: graded resolution clarity, cross-venue links, provenance.
Can AI actually read your page? ChatGPT, Perplexity and other answer engines fetch pages very differently from your browser. Paste a URL — Lekta fetches it exactly the way they do and grades it A+ to F, with the spec or measurement behind every finding.
Go MCP server for GitLab: 2 dynamic tools reach 1000+ REST/GraphQL actions. Free/CE, no paid tier.
Compliance frameworks delivered to AI agents. Nizh gives your agent read access to your organization's compliance program — SOC 2, ISO 27001, CMMC 2.0, NIST, and more — as MCP tools, so it can check posture, read a control's objectives before changing code, and record where evidence lives.
Domain security reconnaissance tools for AI agents via Model Context Protocol. 13 security tools — DNS, SSL, HTTP headers, email auth, port scan, propagation, reverse DNS, ASN/BGP, RDAP/WHOIS, subnet calc, and comprehensive security scan — callable from Claude Desktop and any MCP-compatible AI agent. Part of DechoNet. Every tool here is also a free web tool at dechonet.com — no sign-up, no API key — backed by error-fix guides. This package brings the same checks to AI agents.
290+ quality-scored API capabilities for AI agents across 27 countries via MCP.
Read-only MCP server for the OrchestKit docs: full-text search + Markdown fetch. No auth.
Read-only MVR preflight for trust, permission, evidence gaps, and African market-entry readiness.
Verify before your agent acts on data it paid for. Signed verdicts, checkable offline, via x402.
Shared private memory layer for AI agents. Write context once, carry it across Claude, ChatGPT, Grok, Cursor, Replit, Bolt, Lovable, Devin, v0 and more. Supports reusable SKILL.md bundles for agent skills discovery. OAuth 2.1 + API key auth.
Website QA for your coding agent: audit SEO, performance, security, accessibility over MCP.
Deterministic operational-efficiency ratios for corporate financial analysis— asset/inventory/receivables/payables turnover, DSO/DIO/DPO, cash conversion cycle.
91
