"author:alphaparkinc" matching MCP servers:

Enables Solidity callgraph and control-flow analysis to detect reentrancy vulnerabilities in smart contracts, with MCP integration for automated security auditing and DeFi vulnerability triage.

Enables coding agents to analyze monorepo dependency graphs, detect and resolve circular dependencies, and plan a topological build order via Tarjan SCC and Kahn algorithms. It exposes deterministic, zero-dependency Python AST static analysis over MCP for auditing and refactoring codebases.

Enables MCP-compatible clients to audit asynchronous control flow, identifying unawaited promises and race conditions through deterministic AST and taint flow analysis.

Enables deterministic AST static analysis and call-graph auditing to identify orphaned functions, unreachable methods, and token-bloat clusters, producing refactoring plans that reduce context waste.

Enables autonomous agents to automatically repair and guard tool-call schemas through deterministic AST analysis and parameter projection validation, ensuring reliable, schema-compliant interactions in MCP-compatible environments.

Enables deterministic, AST-based rewriting of Python imports and callsites, so module paths can be re-aliased and migrated across a codebase without regex errors. It also supports dependency graph auditing and refactoring planning with token-efficient output for coding agents.

Enables static AST-based dataflow analysis to trace untrusted sources to sensitive sinks, supporting automated code review and security auditing through MCP.

Enables analysis of multi-file git workspaces to synthesize dependency diffs and refactor sequences.

Enables agents to statically analyze Python source via AST traversal, computing McCabe cyclomatic complexity, cognitive nesting depth, and dependency graphs to pinpoint refactoring hotspots. It returns standardized refactoring plans, decomposition guidance, and code-metric telemetry with zero external dependencies.

Analyzes Git pull request diffs to detect breaking REST and GraphQL API schema changes, providing deterministic AST-level code review and breaking change alerts for CI/CD workflows.

Enables coding agents to parse multi-file AST dependency graphs and extract minimum context symbol call-trees through MCP.

Provides autonomous EVM smart contract auditing and DeFi vulnerability triage, with a focus on flash loan arbitrage price impact and MEV sandwich protection for Aave and Uniswap v3. Enables deterministic callgraph verification and signature phishing defense via a native Model Context Protocol server.

Enables whole-program callgraph reachability analysis to locate dead functions and stale flags, and integrates with MCP-compliant clients for automated code review, breaking-change audits, and CI/CD workflow pruning.

Enables autonomous coding agents to audit source-code changes for SemVer 2.0 breaking changes by inspecting AST public API surface diffs, parameter reordering, and removed exports. Produces deterministic refactoring plans and dependency metrics using only the Python standard library.