#coding-agents

AegisFlow

Runtime governance for coding agents and tool-using agents. Allow/review/block MCP, shell, SQL, GitHub, and HTTP actions. Mint scoped creden...

LeanProbe

Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.

Grape

Better context transport for AI coding agents.

Trovex

Token-efficient MCP doc-router — one canonical doc per query for your coding agents.

Watercooler

Watercooler: your team's shared reasoning layer for agentic coding. Preserve the "why" around your code.

Pocket Disasm

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

Repoprompt Ce

Community edition of RepoPrompt: a native macOS context engineering app for AI coding agents, with an MCP CLI.

Orkas VideoStudio

Turn your coding agent into a video studio: describe a video in plain language, and your agent writes the timeline and produces the file.

Taskflow

A compiler and runtime for multi-agent DAGs across Pi, Codex, Claude Code, OpenCode, and Grok Build — verify before model spend, isolate con...

Graphpilot

Structural memory for coding agents — index your repo once, query symbols, callers, and call-edges over MCP.

Tryoz

One-line Oz MCP setup for coding agents

Weave

Entity-level git merge driver. Resolves false conflicts git invents when independent agents edit the same file. ~95% reduction vs. line-base...