"Exposing an MCP server via a public tunnel with mcp-proxy" 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 validation layer for AI coding assistants that enforces explicit LLM evaluations on plans, code diffs, and tests to ensure safer and higher-quality code.

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

Enables AI agents to play Space Station 13 and similar games by proxying their connection to game servers and providing gameplay, code-reading, and admin tool capabilities.

A read-only MCP server that verifies public GitHub commits against static contracts and returns signed receipts, supporting only exact lowercase 40-character commit SHAs.

Provides GDB and clangd-based tools for debugging C++ programs, enabling step execution, variable inspection, diagnostics, and combined runtime-static analysis.

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

Codebase Q&A agent with git-history awareness. Explore a repo with list_files, read_file, and search, plus git log, blame, and diff and a repo map to answer "why did this change?" questions. Runs locally as an MCP server for Claude Code and other MCP clients.

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

Integrates local language models (like Qwen3-8B) with MCP clients, providing tools for chat, code analysis, text generation, translation, and content summarization using your own hardware.

Enables structured, iterative reasoning for complex problem-solving with features like confidence tracking, revision mechanisms, and branching support. Provides flexible validation and multiple output formats for systematic analysis and decision-making tasks.

locidx

Connects Claude Code to a Latent Defense deployment to map GitHub repositories into an infrastructure graph, discover attack paths using the JEPA energy model, and triage findings from the terminal.

A lean, local knowledge graph that joins a repo's code to its aSPARK delivery artifacts, enabling agents to trace user stories to code and assess impact of changes, served over MCP.

It enables users to interact with a codebase through hybrid retrieval, code graph navigation, impact analysis, and context preparation for AI coding agents.

Enables ChatGPT Pro web to securely read workspace files, git diffs, and test records through OAuth-protected read-only MCP tools, so it can plan and review while Codex handles execution without uploading the repository.

Enables interactive GitHub pull-request review from Claude Code, with tools to fetch PRs, inspect files and repo structure, post review comments, and query a RAG index of the codebase.

Enables executing arbitrary Joern/CPGQL queries against a loaded Code Property Graph, loading source code in multiple languages (PHP, Java, JavaScript, Python, C/C++) to build new CPGs, and inspecting loaded projects and the active workspace. It communicates with a running Joern server over its synchronous HTTP query endpoint, so no state polling is required.

Semantic code knowledge for your stack. Hosted MCP at over 800+ pre-indexed OSS libraries (C#, Java, TS, Python, Rust, PHP+). 17 SCIP-backed tools: real source, callers, usages, tests, type hierarchies, and outline — one call each, free.