"A server to improve math capability of AI" matching MCP connectors:

Hosted, OAuth-gated endpoint for quantakrypto's post-quantum crypto tools: scan code for quantum-vulnerable cryptography (RSA/ECDH/ECDSA/DH) and get NIST ML-KEM/ML-DSA/SLH-DSA migration guidance over authenticated HTTP — nothing to install. Sign-in required (Google/GitHub/email). Same tools as the open-source @quantakrypto/mcp server; source at github.com/quantakrypto/pqc-tools.

Proves AI-generated Python does what you asked: lint, types, security, sandbox run, exact fixes.

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.

Honest library picks for coding agents in 25-360 tokens. Tells your agent what NOT to install.

Score the privilege a Chrome MV3 extension takes from its manifest, and diff permission sets.

Agentic code review, no signup to try: reality gates + frontier-model review, with veto.

The official Svelte MCP server providing docs and autofixing tools for Svelte development

Design review for UI code: 291 rules, scored 0-100 with fixes and git-applyable patches.

Zero-install security baseline for AI coding agents — OWASP/CWE-cited rules over MCP.

CVE lookups (NVD) and dependency-manifest audits (OSV) for AI agents. No API keys.

Read-only AI coding tools for change verification, release readiness, capacity, and guidance.

Rams is a design reviewer for UI code. The MCP server puts the hosted engine inside a coding agent: the agent passes files to the review_files tool and gets back a 0–100 score with file:line issues and concrete fixes — accessibility, color, typography, spacing, components, UX, motion, craft, and native SwiftUI. Same engine and scoring as the Rams GitHub App. 258 rules, published at rams.ai/rules. Free tier: 30 reviews/month.

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

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

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

Scan any public GitHub MCP-server repo for security issues. 37 MCP-specific L1 rules, 8 languages.

AI-native git hosting — repos, PRs, issues, CI gates, and AI code review over MCP (60 tools).

Multi-model code review: a panel of models + detectors return a pass/fail verdict. Paid via x402.

Post-quantum cryptography (PQC) vulnerability scanner. Detects ECDSA, RSA, AES-128 and other quantum-vulnerable algorithms in GitHub/GitLab/Bitbucket repos and Ethereum smart contracts. Returns risk score 0-100, CBOM (CycloneDX 1.6), and migration paths to NIST FIPS 203/204/205. Free tier: 10 scans/day, no key required.

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