"Information about proxies or proxy servers" matching MCP servers:

MCP server providing AI assistants with tools for advanced EVM smart contract analysis, including proxy detection, implementation resolution, and security analysis.

A FastMCP-based proxy server that seamlessly integrates any MCP client with the Devin MCP API, enabling AI-powered repository analysis and question answering.

A proxy server that forwards MCP requests to a JetBrains IDE server, with support for path conversion between WSL, Git Bash, and Windows.

A collection of MCP servers providing structured tools for ARM specification, verification, assembly analysis, and performance checks. They enable LLM agents and engineers to perform formal verification, analyze assembly code, and evaluate performance constraints.

40 regulation-and-deadline linters (CRA/CSAF, PCI DSS 6.4.3, WCAG 2.1 AA, DORA, NIS2, EU AI Act, KSeF, NF-e) that AI agents call over MCP. Free checks on the open file; licence key unlocks workspace scan and CI exit code.

MCP server for high-fidelity code audits, refactoring, and architectural analysis using specialized Proxy Experts.

Exposes Cursor IDE's MCP tools (codebase search, file operations) as an HTTP API for integration with Open WebUI, n8n, and other automation tools.

Enables querying any GitHub, GitLab, or Bitbucket repository and getting AI-generated answers about the codebase, powered by Gemini.

Enables asking natural-language questions about any GitHub repository and receiving answers grounded in the actual code, with read-only enforcement and automatic repository fetching.

truth is a deterministic fact-checker for the claims an AI coding agent makes about its own work.

Semantic git queries via MCP. Beyond git log — answer who/what/why about any line, file, or branch with blame, co-change, PR linkage.

A research proxy that lets Claude, Cursor, and other MCP clients utilize Gemini's generous free tier for deep codebase analysis without burning your main model's quota!

Provides access to Ant Design component library documentation and information for automated code generation. Enables searching components by category or keyword, retrieving component props, examples, API documentation, and available icons.

MCP server that provides npm package information for AI agents during TypeScript development.

An MCP server that enables coding agents to autonomously test, evaluate, and tune other MCP servers by acting as a proxy and providing linting, trace recording, evaluation, comparison, and reporting tools.

Extracts deterministic architecture maps from codebases for AI agents, enabling queries about blast radius, routes, security findings, and production readiness without sending code anywhere.

MCP server that brings Octopus AI code review into editors, allowing review of code changes and asking questions about your codebase. Integrates with Cursor, Claude, or any MCP client via natural language.

Enables AI agents to search and retrieve details about Odoo code elements (models, fields, views, etc.) with exact file locations using MCP tools.

Provides coding agents with a compact map of a TypeScript/TSX codebase, enabling direct answers about symbol locations, imports, dependencies, and references while reducing token usage.

Enables agents and CI pipelines to audit MCP servers and agent tool-chains by statically scanning repositories, local checkouts, tools/list exports, or live endpoints for risks such as destructive actions without confirmation, mismatched safety annotations, injection surfaces, credential or PII exposure, and unguarded command, path, or URL sinks. All checks are read-only and never execute the scanned code or call tools/call.