"Paradox Interactive" matching MCP servers:

An MCP server for Paradox Clausewitz/Jomini modding (EU5, EU4, Victoria 3, HOI4, CK3, Stellaris) that grounds AI assistants in the game's generated documentation and vanilla script tree, enabling accurate script lookup, parsing, and validation without running the game.

An MCP (Model Context Protocol) server that enables interactive debugging with code instrumentation for AI coding assistants. Inspired by Cursor's debug mode.

Enables LLMs to perform binary analysis using Ghidra in headless mode, extracting functions, pseudocode, structs, and enums from binaries for interactive reverse-engineering.

Enables analysis of Karate framework feature files, extracting dependencies and generating interactive dependency graphs.

An MCP server that turns any codebase into a queryable knowledge graph — and renders it as an interactive galaxy.

Connects MCP-enabled editors to GitHub Copilot CLI for non-interactive code analysis, batch processing, and code review.

Provides AI-powered architecture analysis and visualization of codebases, exposing 17 MCP tools for querying components, dependencies, and generating interactive diagrams.

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.

Read-only MCP server exposing CWTools Paradox/Stellaris semantic tools (syntax checking, scope queries, definitions, references, diagnostics, scripted triggers/effects/enums, and shader queries) to AI agents like Codex and Claude Code, bridging into VS Code-compatible hosts or running standalone.

MCP server that bridges LLMs with the Rocq (Coq) proof assistant via LSP, enabling interactive theorem proving with AI.

Enables GitHub repository analysis including health score, comparison, commit heatmap, and trending MCP servers, with interactive widgets.

Enables AI agents to edit files in VS Code with an interactive diff review panel, allowing users to accept or reject changes.

Enables AI agents to query Salesforce DX projects through MCP with compressed component specs, full-text search, dependency relations, annotations, and an interactive architecture map, drastically reducing token usage.

A stateful Model Context Protocol server for interactive Agda proof development, enabling persistent sessions with goal-aware proof actions.

Provides 30+ unified reasoning operations including systematic thinking, mental models, debugging approaches, statistical analysis, interactive notebooks, and advanced problem-solving frameworks for enhanced decision-making and complex reasoning tasks.

Enables auditable, plan-linked Git commit review views for Codex, with interactive file trees, split diffs, line-level explanations, and SHA-256 audit receipts served locally on localhost.

A streamlined MCP server that provides essential AI-powered tools for interactive development chat and systematic root cause analysis. It supports multiple AI providers to help developers brainstorm technical solutions and perform evidence-based debugging.

Automates Close-to-Shore methodology for Godot game development by creating tasks in Shrimp MCP from hop plans and generating interactive visualizations of signal architectures, dependencies, and project metrics.

MCP server that parses source code into a graph of symbols and relationships, enabling code structure visualization and blast radius analysis via interactive 3D force-graph.

Enables AI agents to perform semantic code search across entire codebases using natural language queries. Provides fast indexing and ranked search results with line numbers and file paths through the Seroost search engine.