A
license-
qualityD
maintenanceHeadless MCP server for IDA Pro enabling on-demand database loading and programmatic reverse engineering workflows via MCP tools.
18
MIT
73,156 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
Matching MCP tools:
Matching MCP Connectors:
com.namebrewery
io.github.lazymac2x
io.github.Sra1Phani
it.cup24
"Checking Domain Name Availability" matching MCP servers:
- AlicenseAqualityBmaintenanceEnables AI agents to search Minecraft obfuscated name mappings (class, method, field) across 38 versions, aiding modding, plugin development, and reflection.11MIT
- AlicenseAqualityDmaintenanceAssigns personality types to functions, rates variable name energy, and suggests aesthetic alternatives for code, providing an unscientific yet entertaining vibe assessment.1461MIT
- AlicenseAqualityDmaintenanceProvides live Apple documentation fetching, Xcode build error analysis, and Swift Evolution proposal checking for Apple development assistance.318MIT
- AlicenseAqualityDmaintenanceAn MCP server that validates VTK Python code by checking class and method existence, import correctness, and provides structured error reporting to catch API hallucinations.18MIT
- AlicenseBqualityDmaintenanceProvides AI assistants with tools to grade, generate, and validate UI components against the components.build specification. Supports searching documentation, checking compliance, and generating framework-agnostic accessible components.1123Apache 2.0
- FlicenseBqualityDmaintenanceAn MCP server that automates code review by providing syntax checking, code explanation, and improvement suggestions using a multi-agent system.15
- AlicenseBqualityDmaintenanceA Model Context Protocol server that enables AI assistants to analyze Python code, add type annotations, and perform type checking using Pyrefly's type inference engine.41MIT
repo-doctorofficial
Alicense-qualityCmaintenanceMCP server that produces scored, evidence-cited audits of public GitHub repos via tools for fetching metadata, reading files, scanning git history, and checking hygiene.MIT- Alicense-qualityDmaintenanceHelps ground AI agents in reality by fact-checking responses against official documentation and reading project files to prevent hallucinations during coding sessions.MIT
- Alicense-qualityCmaintenanceMCP server that provides six verification tools (Lean proof checking, axiom audit, bound, gridlock check, certificate verification, residency check) with honest status reporting (ok/failed/unavailable) to prevent agents from claiming unchecked proofs passed.Apache 2.0
- Alicense-qualityAmaintenanceA TypeScript ESM MCP server exposing 20 public instruction tools and 7 utility tools, backed by 102 internal skills across 18 domain families — from requirements discovery and code quality through governance, resilience, and physics-inspired analysis.6656MIT
- Alicense-qualityAmaintenanceMCP server that certifies or refutes the soundness of linear integer guards over declared boxes, returning concrete counterexamples when unsound and honest refusals when the domain is too large.Apache 2.0
- Alicense-qualityAmaintenanceEnables parametric CAD modeling using OpenSCAD via MCP, supporting syntax checking, rendering, measuring, and previewing within a sandboxed workspace.1MIT
- Alicense-qualityDmaintenanceEnables checking web feature compatibility with Baseline standards, analyzing HTML, CSS, and JavaScript code to provide detailed reports on Baseline status, browser support, and recommendations.MIT
- Alicense-qualityDmaintenanceHelps AI assistants optimize Linux workloads on Arm64 by parsing perf report output, recommending NEON SIMD intrinsics for hot loops, and auditing Python dependency manifests for arm64 wheel availability — all offline and structured.Apache 2.0
- Alicense-qualityBmaintenanceRead-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.2MIT
- Alicense-qualityBmaintenanceEnables AI coding tools to query your live codebase for routes, import graph, domain context, and blast radius, eliminating hallucinations about project structure.29071MIT
- Alicense-qualityDmaintenanceCode linting and style checking tools for AI agents, exposed as an MCP server. Supports style checks, naming conventions, complexity analysis, dead code detection, and import analysis.55MIT
- Alicense-qualityFmaintenanceAn MCP server that connects to SAP ERP systems via RFC to perform native ABAP syntax checking, enabling AI assistants to validate ABAP code without direct SAP GUI access.1MIT