"Servers that Enhance Productivity" matching MCP connectors:

Check that your AI is being logical. Free tool that mathematically catches contradictions in agent reasoning. No account needed. Also offers paid guardrails that converts natural language to formal verification proofs, that anyone can check succinctly.

An MCP server that gives your AI access to the source code and docs of all public github repos

Stop your AI agents from writing sloppy TypeScript. A toolkit that teaches coding agents like Claude Code, Codex, Cursor, Amp, and more to ship production-ready code in half the time, at half the cost. Docs are available at https://convention.sh/docs

Vetoes the bugs only AI writes: invented APIs, mock 'success', false 'done', N+1s that pass tests.

Audits MCP tool definitions for patterns that make models call tools wrong or mis-fill args.

Alcheon is an MCP server that gives AI coding agents access to a curated library of 100+ analyzed real-world design systems, letting them recommend reference sites, synthesize design briefs with spacing and color tokens, and generate section-level UI guidance — so AI-built interfaces draw from actual design DNA instead of generic defaults.