"IDA Pro" matching MCP servers:

Records and visualizes evidence from a coding agent's own testing tools in a private local workspace, with live activity, domain charts, screenshot maps, findings, reproduction steps, human priorities, and persisted testing preferences. Runs 54 bundled CARBON command workflows over local stdio and serves a loopback-only visual workspace with strict evidence and permission gates.

Quant tools for AI agents on Kalshi & Polymarket. 34 tools, 27 free with no key: EV, Kelly sizing, Bayes updates, odds conversion, base-rate gaps, combo grading, Fed odds, NFL and NHL models, 2026 Senate race odds, Kalshi weather board and Kalshi 15-minute markets + perps (live board + liquidation estimates). Pro adds commodity + NFL edge models, mispricing scanner and alerts.

A MCP server that bridges LLMs with GitHub repository management, enabling automated analysis of pull requests, issue management, tag creation, and release management through natural language.