"Accessing Your Supabase Projects Dashboard" 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.

OSS libs in your stack, really used: source, tests, callers. C#, Java, TS, Python, Rust, PHP+.

The official e18e MCP server keeping your agent in check from installing bloated dependencies.

Runs your code against a contract; returns HELD or BROKE at the exact input. Deterministic.

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

MCP server for YAML: validate & lint, convert between 10 formats, visualize as diagrams, and create/edit your saved diagrams — from your AI editor.

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

Read-only access to your CodeMouse accounts, repositories, and AI pull-request reviews.

Query your product's living memory: module map + analyzed change history. Read-only MCP tools.

Vulnerability management: scan projects, search sealed packages, manage sealing rules and reports.

Deep security scans of repos you own from your editor: dependency CVEs, SAST, git-history secrets.

Provide your AI coding tools with token-efficient access to up-to-date technical documentation for…

AI-powered intelligence for your development workflow via Indicate.

AI code reviewer for GitHub pull requests. Read-only access to your CodeMouse accounts, repositories, and PR reviews — status, duration, cost, tokens, and per-provider runs.