← All tags

#coding-agents

56 posts

MCP Server 10

MemXT is a Local long-term memory for Claude Code & coding agents. 100% local

Zig MIT Updated 1mo ago
MCP Server 14

Compliance superpowers for coding agents.

Go Apache-2.0 Updated 1mo ago
MCP Server 25

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

Go Apache-2.0 Updated 1mo ago
MCP Server 3

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

Python MIT Updated 2mos ago
MCP Server 11

Better context transport for AI coding agents.

TypeScript MIT Updated 1mo ago
MCP Server 6

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

HTML AGPL-3.0 Updated 2mos ago
MCP Server 13

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

Python Apache-2.0 Updated 1mo ago
MCP Server 20

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

Python MIT Updated 1mo ago
MCP Server 799

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

Swift Apache-2.0 Updated 1mo ago
MCP Server 227

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

TypeScript MIT Updated 1mo ago
MCP Server 33

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

TypeScript MIT Updated 1mo ago