AI 编程01
oooscoos/Benzi · Benzi is a compiler-backed coding agent that compiles your codebase into a resolved, queryable map of calls, data flow, and control flow first; then it explains, runs, edits and verifies your code using it. Includes a runtime tracer that settles what static analysis can't. The Benzi compiler also works as an MCP server.
Benzi 是一个由编译器驱动的编程智能体（coding agent）：它先用基于 tree-sitter 的编译器解析整个代码库，构建出可查询的调用关系、数据流与控制流映射，再基于该索引来讲解、运行、修改并验证代码。附带运行期追踪器，用于补足静态分析无法确定的部分。该编译器同时可作为 MCP 服务器使用，支持多语言与多模型接入，官方称在 SWE-bench Verified 上取得 391/500（78.2%）的结果。
AI 编程02
Makiya1202/ai-agents-skills · 🧠 Enhance AI agents with a collection of skills for improved coding assistance, enabling efficient and production-ready solutions.
该仓库汇集了一组面向 AI 编程智能体的技能（skills），目标是提升编码辅助能力，帮助产出更高效、更接近生产可用的方案。README 提到提供直观的编码建议、上下文感知的代码补全、与 VS Code 等流行开发环境集成，并会基于用户反馈和技术进展定期更新。仓库同时提供下载安装说明、系统需求（Windows 10+/macOS Mojave+/现代 Linux、至少 4GB 内存、500MB 磁盘空间）与运行步骤，并鼓励社区通过 issue 和贡献指南参与。
AI 编程03
Mrun25/WatchTower · Passive agent-supervision extension for **Antigravity** (VS Code-based IDE). Built directly from `Watchtower_PRD.docx` (v0.1, draft for internal use). This repo implements all six development phases described in PRD §6, plus the Phase 0 de-risking spike.
WatchTower 是一个基于 VS Code 系 IDE（Antigravity）的被动式智能体监督扩展。它被动地为代码库建立并维护一份 JSON 关系图（记录文件与函数在同一语言内以及跨语言之间的连接关系），同时记录变更日志，并基于这份共享数据实现四项能力：跨文件关系断裂检测（Alt+A）、随时间的变更日志记录与回滚/重复修改（thrash）识别、提示词精炼（Alt+P，把模糊提示改写为明确提示并复制到剪贴板）、以及基于真实项目结构与历史的上下文感知问答（Alt+C）。项目使用 Mistral 云 API 仅作为推理层，用于精炼提示、回答问题、解释标记，不修改关系图或代码库。
知识库与 RAG04
vlasenkoalexey/wikify-repo · Compile any codebase into a grounded, lint-clean markdown wiki your AI agent can actually trust — SCIP symbol resolution + citation linter, plain markdown you own (no graph DB, no SaaS).
wikify-repo 通过 SCIP 符号解析把代码库编译成基于真实符号引用的 Markdown Wiki，并用引用 linter 在构建时强制每条论断都能解析到已固定的源码符号；输出为可离线 grep 检索的纯 Markdown，无需图数据库、向量库或托管服务，支持增量重建和跨仓库概念页。