"Minecraft Protocol Servers Written in Python" matching MCP connectors:
GET /v1/connectors – MCP directory API referenceMatching Connector Tools:
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.
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.
Security scanner for MCP servers and skills: Unicode injection, patterns, secrets.
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
Explain a regex in plain English and detect catastrophic backtracking risk.
Checks AI-written SvGrid code against the real API, plus version-pinned Svelte 5 grid docs.
Rust crate vulns: CVEs, patched versions. $0.01/query. Register in-session — free testnet funds.
Proves AI-generated Python does what you asked: lint, types, security, sandbox run, exact fixes.
Format/lint JS, Python, HubL for automation platforms. Tools: format_code, format_json, ask_codefmt
Python identifier charset, value discarded
Python string escape count, input discarded
Honest library picks for coding agents in 25-360 tokens. Tells your agent what NOT to install.
Python egg-info key count, body discarded
Security + bug + perf + refactor audit for Python. Returns 0-10 score + MD report.
The official e18e MCP server keeping your agent in check from installing bloated dependencies.
OSS libs in your stack, really used: source, tests, callers. C#, Java, TS, Python, Rust, PHP+.
Ship production-ready TypeScript code in half the time, at half the cost.
Pre-commit code quality guardian. Detects semantic drift in AI-generated code.
Real-time Python package and vulnerability data for AI coding agents.
The OpenZeppelin Cairo Contracts MCP server generates secure smart contracts in the Cairo language for Starknet environments based on OpenZeppelin templates. It brings OpenZeppelin's proven security and style rules directly into AI-driven development workflows to create safe, production-ready contracts. Key capabilities include providing templates for ERC-20, ERC-721, ERC-1155, Multisig, Governor, and Vesting contracts.