Greptile 的 Daksh Gupta 分享如何用 AI 代码审查精准捕捉高价值 Bug
Greptile 的 Daksh Gupta 将在 AI Engineer New York 演讲，分享如何避免无意义的 AI 代码审查充斥 PR。演讲重点介绍结合完整代码库上下文、严谨评估基准及真实开发环境测试，精准定位高价值 Bug、减少审查噪音。
#编码
RadarAIAI 评分2222 GitHubAI 评分2222 assura-lang/assura：契约优先的 AI 原生语言
assura-lang/assura 是一个契约优先的 AI 原生语言，开发者只需写下代码应该做什么，由 AI 证明它确实做到了。该语言将契约作为核心抽象，把功能正确性的验证交给 AI 完成。
GitHubAI 评分3434 graybyrd13/not-slop：让 AI 生成的网站读起来像专业制作
GitHub 项目 graybyrd13/not-slop 提出一套让 AI 搭建的网站显得专业制作的流程：冻结需求简报、方向竞赛、隔离构建、渲染批评、有序迭代、人工裁决。项目还提供按证据分级的两类语料库，一类是需禁止的 AI 痕迹，一类是可学习的范例网站。
GitHubAI 评分1010 AI Test Architect Pro：面向 Claude Code 的自主测试工程框架
AI Test Architect Pro 是一个把 Claude Code 变成自主测试工程智能体的框架，可自动解析代码库与 API 规范、生成覆盖 REST、GraphQL、Web/移动与微服务的测试策略。
Hacker NewsAI 评分2222 OpenAI Codex 28 天重置挑战日历追踪器
一个日历追踪器上线，用于记录 OpenAI Codex 28 天挑战的每日进展。该挑战由 Tibo 于 10 月 4 日发起，承诺连续 28 天每天发布一项 Codex 改进或一次完整重置，挑战期为 10 月 5 日至 11 月 1 日。页面按太平洋时间统计已发布的改进与重置公告，并附原始来源链接，同时作为存档保留。
GitHubAI 评分5858 RoslynMcp 发布：给 AI 编码智能体一个 C# 编译器，实测节省 38-69% token
MadQ/RoslynMcp 是一个 Model Context Protocol 服务器，为 AI 编码智能体提供 Roslyn 编译器语义，包括类型解析、跨文件引用、语义重命名和诊断，共 45 个 MCP 工具（43 个公开加 2 个仅调试用）。
RadarAIAI 评分3232 Lauren Tan：智能体写代码时代需要更新对好代码的定义
Lauren Tan 认为，随着智能体已大量编写代码，可维护性和整洁代码优先的传统原则需要更新，2026 年应重新定义 Good Code 的含义。她指出整洁代码历史上以性能为代价，且源于人类维护代码的时代，未来可能发展出智能体友好架构的新原则。她此前提出好代码应正确、无 bug、运行快且成本低，并认为用好智能体后生产力应有显著差异。
RadarAIAI 评分6262 Karpathy：LLM 能力认知鸿沟正扩大为漏斗，仅约 0.2% 的专业用户看到前沿智能体能力
Andrej Karpathy 重发并扩展其 4 月的观点，认为外界对 LLM 能力的共识差距正从两群人各说各话变成一个急剧收窄的漏斗。
GitHubAI 评分5858 Swival 发布开源编码智能体，支持任意模型与本地部署
Swival 发布一款开源编码智能体，可在同一工具中使用本地模型和在线服务，切换模型无需更换智能体。它用 Python 编写，支持 uv 或 macOS Homebrew 安装，首次运行提供简短设置向导，也可用一条命令执行任务。
GitHubAI 评分3838 Director-Driven Development：用 AI 编码智能体做“你指挥、智能体构建”的开发文档
Director-Driven Development 是一套与 AI 编码智能体协作的工作方式：人负责指挥，智能体负责构建，并由自动检查验证每个任务。
GitHubAI 评分3434 Local Agentic CLI：面向 Ollama 模型的本地终端编程智能体
Local Agentic CLI 是一个面向 Ollama 模型的本地终端编程智能体 MVP，实现"对话—模型调用工作区工具—审批后改文件—会话以 JSONL 持久化"的最小可用循环。
Hacker NewsAI 评分2828 用 GPT-4 和 Claude Opus 控制等离子切割机：AI 直接生成 G-Code 的三年实验
作者让 GPT-4 跳过 CAD/CAM 直接为 CNC 等离子切割机生成 G-Code，代码首次加载即通过，但因缺乏视觉能力导致形状出错、T 字高度控制失败。
GitHubAI 评分2222 Kodia：基于 Void 的 VSCode 分支，集成 AI 智能体与检查点功能
Kodia 是 Void 的一个分支，而 Void 是 Cursor 的开源替代品，支持在代码库上直接使用 AI 智能体、检查点可视化变更、本地托管任意模型，以及直接向提供商发送消息而不保留数据。Kodia 基于 VSCode 分支构建，新增 AI 驱动开发工作流相关功能，需 Node 24.18.0 环境，通过 Cmd+Shift+B 编译进入开发者模式。
Hacker NewsAI 评分6060 57B tokens 与 jq 重写：作者用 LLVM IR 让智能体重写 jq
作者 nialse 尝试让 AI 智能体直接在 LLVM IR 上重写 jq，为此先写了 POSIX 风格运行时 libmuffintop，产物名为 jeqy.ll。
GitHubAI 评分1515 Guardrail：面向 AI 生成代码的本地安全扫描工具
Guardrail 是一款 Windows 本地扫描工具，用于检查 AI 生成代码中的安全问题、性能瓶颈和常见错误，内置 22 条规则并支持基于 AST 的自动修复。它采用零配置设置，支持 TypeScript、JavaScript 及 Web 应用源码，可在代码进入项目前完成审查。
GitHubAI 评分88 operon：面向生物信息学的原生 macOS IDE，内置 AI 编码助手
GitHub 项目 operon 旨在构建一款面向生物信息学的原生 macOS IDE，集成 AI 编码辅助、终端、编辑器、文件浏览器和远程服务器访问功能。该仓库目前仅有 1 个 star，尚无 release 与打包版本。
GitHubAI 评分2020 vibecheck：面向 Claude Code 的 156 项自动化安全检查工具
vibecheck 是一款面向 Claude Code 的自动化安全检查工具，内置 156 项检查，可发现代码中暴露的 API key、Supabase RLS 未开启、缺失限流、CORS 配置过宽及不安全配置值等常见安全问题。它适用于提交代码或合并分支前的预检流程，支持 Windows 10/11 下载安装，帮助开发者在代码进入主分支前拦截风险。
RadarAIAI 评分4040 Yuchen Jin 谈 Google 用 Code Comprehension 轮取代 LeetCode 面试
Yuchen Jin 表示 AI 已淘汰 LeetCode 面试，如今连 1B 的 LLM 都能一次做对所有 LeetCode Hard，他多年前已改为考察候选人使用 AI 的能力。
GitHubAI 评分1818 agentic-playdate：面向 Playdate 掌机的开源游戏创作工具
agentic-playdate 是一款帮助用户为 Playdate 掌机创建游戏的开源应用，支持 macOS、Linux 和 Windows，采用 MIT 许可证。它提供拖拽式界面和 TypeScript 集成，无需高级编程技能即可搭建游戏项目，并支持 Makefile 简化构建流程。运行需至少 2 GB 内存和 200 MB 磁盘空间，可从 GitHub Releases 页面下载安装。
GitHubAI 评分4242 baton：用一个终端统一调度 Claude Code、Codex、OpenCode 等编码智能体
baton 是一个把 Claude Code、Codex、OpenCode 等编码智能体集中到同一个终端里协同工作的工具。它让多个编码智能体以团队方式并行协作，而非各自独立运行。
GitHubAI 评分3636 Acrazie/skills：面向 AI 编程智能体的生产级技能库
Acrazie/skills 发布面向 AI 编程智能体的生产级技能集合，每个技能独立封装一套完整工作流，可通过 `npx skills add Acrazie/skills` 交互式安装或指定技能名直接安装。
Hacker NewsAI 评分2222 quicktype：Copilot 之前最高产的代码生成器，累计生成 100 亿行代码
quicktype 自 2017 年 7 月发布以来累计生成 100 亿行代码，且没有一行由 LLM 写出，发布一周年时已突破 10 亿行。它从 JSON 生成强类型模型与序列化代码，支持 TypeScript、Python、Go、Rust、Swift 等 30 多种语言，采用类型图与语言渲染器分离的架构，便于社区扩展语言。
GitHubAI 评分6060 Nightgauge 发布开源本地优先的 issue 到 PR 流水线
Nightgauge 发布开源、本地优先的 issue 到 PR 流水线，把 GitHub issue 经 issue-pickup、feature-planning、feature-dev、feature-validate、pr-create、pr-merge 六个阶段推进到合并的 PR，每个阶段都由确定性质量门检查。
RadarAIAI 评分2222 独立开发者谈 AI 编程工具链：固定用 iTerm2、opencode 与 DeepSeek，聚焦商业变现
一位独立开发者主张固定使用 iTerm2、opencode 与 DeepSeek 组成的轻量 AI 编程工具链完成全部编码任务，不再追逐繁杂新工具。面对代码过于简单的质疑，他认为代码复杂度无关紧要，持续产生商业价值、获取付费用户才是核心目标。
RadarAIAI 评分2121 吐槽老板沉迷 Vibecoding：高强度用 Codex 和 Claude Code 开发企业微信致健康透支
作者因老板执念被迫高强度使用 Codex 和 Claude Code 进行 vibecoding 开发「企业微信」，频繁加班至深夜并出现严重眩晕。假期彻底断联休息后，作者反思盲目加班换不来效率，呼吁警惕缺乏组织改造的盲目 AI 实践并寻求可持续工作方式。
RadarAIAI 评分5858 密歇根大学 AI 编程方法论拆解：五大 Agent 技能体系
密歇根大学「Applied Agentic Software Engineering」课程将 Agent 软件工程拆解为五个核心技能流水线。其中 /peanuts 通过自底向上的 README 层级化解遗留代码幻觉，并设有人工评审，整体还包含严苛设计访谈、无上下文盲审、代码门禁防漂移与对抗性评审等环节。
Hacker NewsAI 评分3737 PR-witness：用基分支测试跑 PR 代码，揪出被绿灯掩盖的回归
PR-witness 通过运行基分支的测试来检验 PR 代码，捕捉 CI 绿灯下被隐藏的回归。该工具已在 PyPI（pip install pr-witness）、GitHub Marketplace 上线，并可作为 Claude Code 插件安装。
Hacker NewsAI 评分2222 AI 智能体时代的「多任务陷阱」：等待也是工作的一部分
AI 智能体让任务启动变得容易，也让人更容易过度承诺：等待期间不断开启新会话，每个任务分到的注意力随之减少，质量在不知不觉中下滑。作者以自己运行四十多分钟的 agentic workflow 为例，尝试用约十五分钟作为是否切换任务的阈值，但坦言并不确定界限在哪。他主张把等待视为工作的一部分，用这段"空闲"重读智能体写的代码、重读 issue，或向另一个智能体提问以加深理解，而不是继续开新任务。
GitHubAI 评分6666 Vajra：为 Claude Code 提供端到端交付工作流的开源工具
Vajra 是一个面向 Claude Code 的开源工作流工具，输入 /vajra <ask> 后自动生成验收标准、按任务分配 owner agent 的计划，在 git worktree 中并行执行、逐条验证并最多进行三轮修复，最终产出一个本地分支和交付报告。
GitHubAI 评分2222 coccinella-labs 开源 C++20 终端 AI 编程智能体 agentware
coccinella-labs 发布 C++20 终端 AI 编程智能体 agentware，通过 MCP 文件系统与 git 服务器读写代码，支持托管模型与本地 Ollama 离线运行。
Hacker NewsAI 评分6262 indexio 发布：面向编码智能体的代码搜索引擎，通过 MCP 接入并宣称减半 token 用量
indexio 是一个面向 AI 编码智能体的代码搜索引擎，一次性索引组织内所有仓库，以毫秒级响应查询，并通过 MCP 和 HTTP API 作为工具提供给智能体。
RadarAIAI 评分5858 密歇根大学 AI 编程课 Applied Agentic Software Engineering 发布五个工程 Skills
密歇根大学课程 Applied Agentic Software Engineering 把 AI 编程方法论做成五个 Skills：/peanuts、/elephant、/goldfish、/egm-implement、/mean-review，代码托管在 GitHub 的 eecs498-aase/materials 仓库。
GitHubAI 评分2222 IntelliReview AI V2：AI 驱动的智能代码审查与 PR 安全分析平台
IntelliReview AI V2 是一个全栈代码审查平台，结合 Bandit、Radon、Pylint 静态分析与 Scikit-learn 随机森林严重度分类器（v3），并接入 Groq（openai/gpt-oss-120b 或 Llama 3.3）与 Ollama（qwen2.5-coder:7b）多提供商 AI 回退引擎。
GitHubAI 评分2828 RStudio 光标 AI 助手 codriver：按 Ctrl+/ 就地生成与修改代码
codriver 是一款 RStudio 光标 AI 助手，按 Ctrl+/ 即读取光标位置与选区自动选择补全、生成、续写、编辑或注释模式，结果以 ghost text 或 diff 形式就地呈现，无需聊天窗口和复制粘贴。它要求 RStudio ≥ 2026.04，通过 ellmer 支持 OpenAI、Anthropic 及本地模型服务，已发布 CRAN 版本，采用 MIT 许可。
Hacker NewsAI 评分3838 Loop Engineering：如何优化 AI 代码生成与验证流程
针对 AI 辅助编码带来的验证瓶颈，Loop Engineering 提出围绕外层、内层、构建与学习四个循环优化流程，把规格转化为独立检查与强制停止规则，并将需求、代码、检查结果和未决问题汇总成便于人工审查的证据包。
GitHubAI 评分6262 LazyCodex 发布：把 OmO 智能体框架打包进 Codex
LazyCodex 发布，将 OmO（oh-my-openagent）智能体框架打包为 Codex 的 agent harness，面向复杂代码库提供项目记忆、规划、执行与验证完成能力。
Hacker NewsAI 评分4848 DHH 用 AI 把 Campfire Once 从 Rails 重写成 Rust 后暴露了哪些问题
DHH 让 AI 智能体把 Campfire Once 从 Ruby on Rails 重写为 Rust、Elixir 和 Go，结果并不乐观。
GitHubAI 评分3636 claude-code-from-scratch：从零构建 Claude Code 风格编程智能体教程
GitHub 项目 claude-code-from-scratch 用 TypeScript 和 Python 从零重建 Claude Code 风格编程智能体的核心流程，涵盖聊天输入、工具调用、文件读写、任务规划与 agent loop，并附 11 章分步教程。
RadarAIAI 评分5858 开源项目 REA 接入 Claude Code 等 Agent，用自然语言做逆向工程
开源项目 REA（Reverse Engineer Anything）在 GitHub 迅速走红，短短几天暴涨 8.1 万 Star。该项目提供一整套软件逆向工作流，并接入 Claude Code、Codex、Cursor 等代码 Agent，让用户通过自然语言分析未开源软件的实现逻辑并快速复刻功能。
GitHubAI 评分6262 codeclue 发布：用 ts-morph 剥离函数体，为编码智能体压缩仓库上下文
codeclue 是一个无需安装配置的 CLI，用 ts-morph 解析 TS/JS 文件并抹掉函数体、保留签名与类型，让编码智能体读取代码骨架而非完整实现。