Independent V&V for coding agents. The agent says done; Proofline re-runs every check against a contract, rejects claims the evidence does not support, and gates the push.
Git hosting, repos, issues and PRs.
Independent V&V for coding agents. The agent says done; Proofline re-runs every check against a contract, rejects claims the evidence does not support, and gates the push.
Bridge Feishu/Lark to any ACP-compatible AI agent (Claude Code, Kiro, Gemini, Amazon Q, ...)
Open-source autonomous coding agent with a cryptographic audit trail. Delegate coding work, verify every action. Runs against local (Ollama/LM Studio/vLLM) or cloud LLMs.
将 ChatGPT 和 MCP Client 安全连接到本地 Git 工作区的可控 MCP Bridge
MCP server with 82 tools: batched filesystem access, standalone Windows shell, and a Beledarian-parity tool set (git, GitHub, system, document, database, web, RAG, browser, sub-agent). Extended fork of mcp-filesystem-extended.
npx launcher for the Easy Review MCP server (er-mcp). Installs the prebuilt binary via platform-specific optional dependencies; falls back to GitHub Releases.
Production-ready AI agent orchestration platform with 66 specialized agents, 213 MCP tools, ReasoningBank learning memory, quantum-resistant Jujutsu VCS, and autonomous multi-agent swarms. Built by @ruvnet with Claude Agent SDK, neural networks, memory pe
Your coding agent draws animated diagrams from your code, and flowfig checks each box and arrow against that code. CI fails when a diagram drifts from the code. The output is one animated SVG with no script, for a README, PR or issue. Works with Claude Co
MCP server for Bitbucket Server / Data Center with code review, cross-repo PRs, and CI insights
MCP server for Atlassian Bitbucket Data Center - interact with repositories and code
Agentic SDLC governance and security controls for AI coding agents working with GitHub.
See what your AI coding agent changed — a read-only git diff viewer in one browser tab
MTA - 智能编码助手 MCP 服务器(规范 + 技能 + 诊断 + 模板 + 记忆 + 思考)
Agentic OS MCP Server — 150+ tools with on-demand loading (26 core), Streamable HTTP transport, background task engine, browser automation, TF-IDF semantic memory, multi-agent orchestration. Zero API keys.
Audits MCP configs, scores risk, and creates reversible repair plans.
MCP stdio server: multi-root git status, inventory, and HEAD parity checks. Generic tools usable by any workspace.
Persistent task context across TickTick, Notion, GitHub, Obsidian, Taskmaster and Beads
Windows network and proxy diagnostics: GitHub reachability, proxy ports, DNS/TCP, and fixes.
Agent orchestration platform - multi-agent spawning, tickets, boards, and workflows
给 AI agent 的自愈遥测层:结构化运行时日志(API/错误/交互/代理 header)+ 本地 cookie 修复 + 登录态画像 + 提交前风险门禁。Agent-readable runtime telemetry, interaction traces, auth profile hints, and pre-commit guard for Vite dev.