MCP servers for coding-agents

Your agents already solved this. deja finds it — retroactive search and MCP recall over the session logs your coding agents already wrote. Cross-agent, SSH-portable, one zero-dep binary, fully local.

Multi-session IDALib MCP router for coding agents. Analyze multiple binaries in parallel with IDA-compatible reverse engineering tools.

Visual verification browser for AI coding agents: daemon-based WebKitGTK, real rendering, ~13ms window spawn

Local CLI that audits coding-agent configuration for security, instructions, context, and MCP — no API key or code upload by default.

Local credential control for AI coding agents.

Shared work-state for coding agents: claim work, leave handoffs, and generate review packets before PRs, over MCP.

Local code search for AI coding agents: a CLI and MCP server with hybrid keyword + semantic search and SQL relevance-ranked aggregation over an index in plain files. No accounts, no keys, no server.

Render agent-written Markdown as a live local page, and send the human's click back to the agent as typed data. Human-in-the-loop approval gates for coding agents.