"Using web search functionality in Claude desktop application" 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.

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.

Statically audits MCP tool surfaces for token cost, schema quality, and design issues.

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.

65+ free in-browser developer tools (JSON, Base64, JWT, hash, regex…) callable over MCP.

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.

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

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.

Web scraping, code review, content gen, sentiment. Zero Core Tools.

Code intelligence for LLMs. Analyze, search, and retrieve code from any public git repository.

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.

The OpenZeppelin Stylus Contracts MCP server generates secure smart contracts for the Arbitrum Stylus environment using OpenZeppelin templates, including ERC-20, ERC-721, and ERC-1155 standards. It automatically validates generated code against OpenZeppelin's security and style rules, enforcing best practices for imports, modifiers, naming conventions, and security checks to prevent common vulnerabilities. The server integrates with AI development tools like Cursor, Claude, Gemini, Windsurf, and VS Code to enable AI-assisted, production-ready smart contract development.

295k+ bug-fix patterns with MCP Hub proxy, PII filtering, and code search

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

Code intelligence for coding agents: semantic, AST, graph, and full-text search. 279+ languages.

Behavioral oracle for Rust crate APIs: runtime behavior, yank/advisory, deprecation, sig search

50 AI tools for D365 F&O: X++ search, ADO integration, code gen, security tracing & upgrade impact.

Apiiro Application Security Posture Management (ASPM) tools for AI coding assistants.