跳到正文
#编码
10月7日周三
  1. GitHub · 去对齐工具与仓库33

    morphe-ai：用 AI 自动修改 Android APK 的补丁工具

    GitHub 上的 morphe-ai 是一款借助 AI 修改 Android 应用的工具，可自动分析 APK 代码、定位目标并应用补丁，无需掌握 Smali 等语言。该工具仅支持 Windows 10/11，要求 8GB 内存和网络连接，工作区分为导入区、AI Pipeline 控制台和补丁窗口，输出文件保存在 Documents 下的 MorpheData 文件夹，且不改动原始 APK。

  2. GitHub · 灵魂体仓库36

    YVEX（yailabs/yvex）：带 Rust 算子外壳的原生模型编译器与有状态执行运行时

    YVEX 是一个原生模型编译器与有状态执行运行时，使用 Rust 算子外壳，将经过认证的开源权重模型源码编译为已准入的执行工作。其 C 计算核心支持 CPU 和 CUDA 执行，并已集成早期 Apple Silicon Metal 后端，每条路径的资质验证单独记录。已演示的执行路径包括 DeepSeek V4 Flash 的投机生成、Qwen3.8-27B 的 CUDA 文本执行、Qwen3.5-0.8B 的 Mac CPU 生成及 Mamba-Codestral 的 64 层 CPU artifact 执行等，但各路径边界明确受限。

  3. GitHub · 去对齐工具与仓库53

    开源终端 AI 编码 Agent miao 发布，主打上下文效率与持久会话

    oxdingzg 开源了终端 AI 编码 Agent miao（v0.1.0，MIT 协议），支持多 provider 切换、子会话协作、任务中途追加输入与持久会话历史。V2 核心提供 Context Epochs、成本估算与 prompt-cache 遥测，Rust 加速器对 TypeScript 基线在编辑模糊匹配、补丁归一化和 Git status 上分别提速 1.9×、2.5× 和 11.9×；启动到提示词中位耗时 1.82s，空闲 RSS 约 853MB，尚未达到 Phase 0 目标。

  6. GitHub · 灵魂体仓库49

    Toroid：用 LLM 生成性质并自动证明芯片 RTL 正确性的形式化验证工具

    灵魂体仓库发布开源工具 Toroid，读取规格与 RTL 模块后由 LLM（实测 claude-opus-4-8）综合形式化性质，再用开源模型检查器 Yosys + SymbiYosys 求解，自动完成硬件验证工程师的验证闭环。演示中它对正确 FIFO 证明了 full ⟺ count==DEPTH 不变式，并捕获注入的 full 标志 off-by-one 缺陷、给出反例波形，还支持 RTL-to-RTL 等价性检查（PROVEN/FALSIFIED）。所有结论均来自真实求解器运行，一次实测生成 9 条性质（5 条 assert + 4 条 cover）一次编译通过；仅支持 ≲500 行的单时钟小模块，只做 safety 性质，且不修改 RTL。

  7. GitHub · 去对齐工具与仓库59

    开源命令行工具 Loopflow 发布，可为 Claude Code 或 Codex 等智能体编排任务

    Loopflow 在 GitHub 开源（MIT 协议），是一个给智能体分配任务、保留对话并可在命令停止后续接工作的命令行工具，需搭配 Claude Code、Codex 或 OpenCode 使用，支持 macOS 和 Linux。它将命令结果、智能体历史和 Flow 进度分开保存，通过 Skill、Flow、Wave 等对象组织可复用指令、工作流组合与目标记忆，可用 curl 安装脚本或 cargo install 部署，并提供 Mac 应用 Loopflow-latest.dmg。

  8. GitHub · 灵魂体仓库47

    MercuryCLI：在终端中运行 AI 编程智能体的开源工具发布

    Whq02 发布 MercuryCLI（Mercury），一个在用户终端和自己的仓库中运行 AI 编程智能体的工具，智能体可读取和编辑文件、运行命令并检查结果。用户可自选提供商与模型，每个会话独立保存对话、模型、权限和工作区，支持在编辑器中使用、脚本无头运行和定时任务。Mercury 为 source-available 许可，提供 macOS（Apple silicon 与 Intel）、Linux x64 和 Windows x64 安装包，可通过 curl、Homebrew、npm 等方式安装，并支持 mercury update 原地更新与 SHA-256 及签名校验。

  9. GitHub · 灵魂体仓库40

    cloudquote：把自然语言基础设施需求转为结构化云成本报价的开源工具

    GitHub 开源工具 cloudquote 将英文基础设施需求文本转换为经验证的结构化需求，由确定性匹配器选出满足约束的最便宜 SKU 并逐项计价，LLM 仅用于可选的提取和解释，绝不选择 SKU 或计算价格。样例目录覆盖 AWS（us-east-1）和 GCP（us-central1），金额使用 Decimal 存储，内置 54 个 pytest 单元测试和 verify_quote 价格校验；目录价格仅为演示示例，真实预算需对照官方定价。

  10. GitHub · 灵魂体仓库37

    Ferry：Windows 优先的桌面与 CLI 编码智能体

    Ferry 是一款 Windows 优先的桌面与 CLI 编码智能体，可在多个 provider API 与本地编码智能体之间路由请求。它支持每个 provider 配多把密钥并自动做健康检查、轮换和禁用/恢复，Gateway 兼容 OpenAI Chat 与 Responses（含 Codex CLI）、Anthropic Messages 和原生 Gemini 客户端；每次代码合并到 main 会发布 0.9.0-beta.N 公开预-release。应用采用 bring-your-own-key 模式，密钥存于系统 keyring，CLI 命令覆盖 v0.11 设置。

  11. GitHub · 灵魂体仓库75

    the-benchmark 发布：本地 LLM 服务器基准工具并新增 Studio 本地 UI

    作者发布 the-benchmark，一个零依赖的本地 LLM 服务器基准工具（https://github.com/MrBrunoWolff/the-benchmark），支持任何 OpenAI 兼容的 /v1/chat/completions 端点，包括 LM Studio、Ollama、llama.cpp server 和 vLLM。工具测量 prefill、generation、concurrency 和 agentic 四个阶段，并新增可选的 Studio 本地 UI，可用 Docker 隔离环境运行经独立验证的编码与文件类 agent 任务。

    推荐理由：这是作者对自家本地 LLM 基准工具的完整说明，四组实测数据展示了为什么 tok/s 不能预测 agent 任务的实际完成时间。

  12. GitHub · 去对齐工具与仓库63

    effort-router 插件为 Claude Code 自动分配 effort 级别，用量最多省一半

    tommy5dollar 发布 Claude Code 插件 effort-router，为每个 prompt 和 subagent 自动选择 effort 级别，让简单任务降级运行，作者称用量最多延长一倍、回答最快快 3.5 倍。前五个 prompt 会被检测并固定到合适级别，支持用 markdown 添加路由规则，/er report 可查看各级别工作量。作者自测中 Fable 5.1 从 xhigh 降到 medium 后，三个小任务约 2 分钟、$1.10-$1.65 完成，而留在 xhigh 需 6-8.5 分钟、$3.20-$3.75；路由本身每会话约花 $0.20。兼容 Fable 5.1、Opus 5.5 和 Sonnet 5.5，支持 Desktop 应用和终端安装。

    推荐理由：作者给出自测数据，包括 xhigh 降到 medium 后 2 分钟对 8.5 分钟、$1.10 对 $3.75 的成本时间对比，可据此评估是否值得装。

  13. GitHub · 去对齐工具与仓库54

    开源视觉编码工具 Lasso 发布：指向 UI 即可生成真实源码改动

    开源项目 Lasso 发布，提供本地优先的视觉编码方式：在运行中的应用里选中组件并用自然语言描述改动，AI 将选区解析回真实源文件生成代码修改，所有改动以 diff 形式预览、确认后才写入，支持撤销。工具支持 Vite 系框架（React、Vue、Svelte、Solid）和 Next.js，可接入 Claude Code、Codex、Cursor、OpenCode 等本地 CLI agent 或自托管模型，并提供 ⌘K 一次性生成模式、控制台错误上下文捕获、团队实时协作与 .lasso 本地域名托管。项目以 ISC 许可证开源，当前版本 0.1.0，1.0 前可能有破坏性变更。

  14. GitHub · 去对齐工具与仓库35

    LLMCouncil v0.1.0：VS Code 多智能体 AI 分析扩展发布

    LLMCouncil v0.1.0 是一款 VS Code 扩展，由 Vision Agent、Technical Librarian、Empathy Analyst 三个智能体并行分析选中文本，再由 Chairperson 汇总给出结论。扩展需 VS Code 1.85.0 及以上，默认通过 GitHub Copilot 认证，可选 gpt-4、claude、gemini 等模型，支持实时进度、导出 Markdown 和取消分析。

  15. GitHub · 去对齐工具与仓库63

    Vibe-Driven-Development 发布：用多个对抗式 Agent 会话拆分规划与代码审查

    ArchitektApx 发布 Vibe-Driven-Development（VDD），一个围绕 Matt Pocock skills（v1.3.1 及以上为硬性依赖）构建的插件，将规划、计划审查、实现和代码审查拆分到独立的 Claude Code / Codex / Cursor / GitHub Copilot CLI 会话中，各会话以对抗方式互相校验。设计理由是单一会话自评自审会找借口通过，拆分后审查者拥有全新上下文、必须对照实际代码验证，且规格、实现说明和审查都写入文件使每个论断可核查。

  16. GitHub · 灵魂体仓库60

    old-mikser 开源个人 Claude Code hooks 与技能配置仓库

    作者开放了自己的 Claude Code 个人配置仓库 old-mikser/llm-stuff，包含 6 个 hooks 和 1 个 /orchestrate 技能。完成提示音默认在有后台 agent 运行时静音，待办检测用 agentId 区分后台 Bash；评论治理 hook 分两级置信度处理注释中的元数据，在约 95k 行真实注释上 tier 2 误报率 0.06%，并以 git pre-commit 加 core.hooksPath 全局分发作为兜底，deny-no-verify.sh 阻止 git commit --no-verify 绕过。

    推荐理由：作者公开了自己在多台机器复用的 Claude Code hooks 配置，包含实现细节、测试和真实代码库上的误报率数据，可直接迁移。

  18. GitHub · 灵魂体仓库31

    CE-AI：面向 Compound Engineering 的跨主机运营伴侣工具发布

    开源项目 CE-AI 是一个面向 Compound Engineering 的跨主机运营伴侣，与 AI 编码智能体协同工作，负责集群版本治理、原生安装编排、项目采用和咨询式工作流观察，不替代编码智能体自身推理。它支持 Linux/Unix、Windows 和 macOS 安装，依赖 engram 和 rtk 等工具，项目开箱即用 `/ce-brainstorm` 命令，采用 MIT 许可证。CE-AI 基于 EveryInc 的 Compound Engineering，并适配了 Gentle AI 的 Organic Driven Development（ODD）作为可选工作流路径。

  19. GitHub · 灵魂体仓库31

    CrewSync：带人工审批门的开源自主 PR 编排框架（auto-pr-approval-orchestrator）

    开源框架 CrewSync 让 AI 智能体基于自然语言任务描述自动生成、测试和部署 PR，但任何代码进入生产前必须经过人工审批门。它支持多模型接入，可通过 OpenAI GPT-4、GPT-4o-mini、GPT-3.5-turbo 与 Claude 3.5（claude-3-5-sonnet-20241022）、claude-3-haiku 等 API 配置不同智能体，并提供每日/每周/自定义发布节奏、合并冲突自动处理、错误率超过 5% 自动回滚，以及实时监控仪表盘。

  20. GitHub · 灵魂体仓库15

    OpenCode Architect：以源码视角深入解析现代 AI 编程智能体

    GitHub 仓库 OpenCode Architect 剖析现代 AI 编程智能体的架构与实现，通过 Mermaid 图展示从提示词解析、模型路由到自校正循环的完整决策流程。项目演示 OpenAI GPT 与 Anthropic Claude API 的双模型集成：GPT 用于快速代码生成，Claude 用于复杂推理和架构决策。它还支持 JavaScript、Python、Go、Rust 等 12+ 种语言，提供会话记忆、沙箱执行和版本回滚功能。

  21. GitHub · 灵魂体仓库57

    gmcabrita 开源本地写作工作台 writing-workshop

    gmcabrita 发布了开源项目 writing-workshop，一个纯本地运行的文字工作台：用 Notion 风格编辑器写作，运行 LLM 编辑 pass，并以侧边批注卡逐条处理修改建议，全部数据存在浏览器 IndexedDB 中。构建产物 dist/index.html 内联全部 JS、CSS 和字体，可从 file:// 直接打开；唯一网络流量是用户配置的 OpenAI 兼容 chat completions 请求，本地服务器（Ollama、LM Studio、llama.cpp、vLLM）默认支持 CORS，README 还给出自建服务器的 CORS 配置和备份、Markdown 导入导出及快捷键操作方式。

    推荐理由：这是一个数据完全留在浏览器本地的 LLM 写作工作台，架构和 CORS 配置说明具体，适合想本地跑编辑流程的读者参考。

  22. GitHub · 灵魂体仓库48

    prime-radiant-inc 的 evener：通过 hub 编排的编码智能体

    GitHub 项目 evener 是一个通过 hub 编排运行的编码智能体，其 hub 提供 web UI（默认交互界面），可同时跟踪多个并发会话，另有 evener tui 终端面板和非交互命令行供脚本自动化。它使用 LLM 原生 tool-calling，支持 OpenAI、Anthropic、Google 等服务商，可通过 `--sandbox` 限制会话的文件、进程和网络访问，安装器验证 SHA-256 校验和，支持 Linux x64 与 macOS Apple silicon。

  23. GitHub · 灵魂体仓库38

    quant-trading-framework：基于 Codex CLI 的多策略量化交易与 moomoo 模拟盘框架

    一个开源多策略量化交易框架，将日线动量主信号与 15 分钟日内辅助结合，覆盖 TQQQ/SOXL 等杠杆 ETF 及 NVDA、MSFT 等个股，并集成期权 GEX/IV/Skew 分析与 45 天宏观事件情景预测（v0.4）。新闻经 Codex CLI 结构化为 JSON，决策仅通过 paper_trader 流入 moomoo SIMULATE 模拟账户，不做实盘，WebUI 看板每 30 分钟自动刷新只读快照。

  24. GitHub · 去对齐工具与仓库31

    Technarra 开源 kantokuai-portfolio：AI 对话生成台本、提词拍摄到字幕短视频的 iOS 应用设计说明

    开发者公开 kantokuai-portfolio 仓库，说明一款 iOS 应用的设计与验证：通过与 AI 对话生成台本、提词拍摄，自动产出带字幕和剪辑的短视频，2025年3月开发、2025年9月上架 App Store，至 v0.54 共发布 13 个版本，Swift 约 17 万行、Python 约 3.9 万行。应用集成 Claude、OpenAI、Whisper、Gemini 等 AI，长任务以 Cloud Run 与 Cloud Tasks 作业方式运行；97 秒录音的语音识别方案中位耗时 15.6 秒，开发者优先保留本人原话而非更快的 2.5-4.6 秒方案。

  25. GitHub · 去对齐工具与仓库38

    Abe-Borg 开源 Drawing Analyzer：用 Claude 视觉解析施工图纸 PDF

    Abe-Borg 在 GitHub 发布 Drawing Analyzer，将施工图纸 PDF 每页渲染为图像并提取矢量文本层，单次视觉请求发送给 Claude Opus 5，返回含图号、专业、设备、标签等信息的结构化摘要。输出为可离线使用的 report.html（含全文搜索、分类过滤和基于报告文本的 Ask AI 助手，默认调用 Sonnet 5 并支持联网查询）及纯 Markdown。应用为 Windows 本地程序，仅通过用户自己的 Anthropic API key 调用 API，无服务器。

  26. GitHub · 灵魂体仓库61

    Agent Switchboard 发布：让 Claude Code、Codex、Gemini 与 Antigravity 本地互调协作

    FutureisinPast 在 GitHub 发布 Agent Switchboard，一个本地 MCP 桥接工具，让 Claude Code、Codex、Gemini、Antigravity 和 VS Code 相互派发任务、互审工作、跨模型辩论并共享压缩后的项目上下文，无需 API key、云服务或额外计费。状态存于本地 SQLite（~/.agent-broker），复用已登录订阅的 CLI 与 IDE 通道；Antigravity 是唯一支持结构化应用内往返的表面，Claude/Codex 通过 CLI 或收件箱文件投递。内置 doctor 诊断逐助手报告实际可用投递路径，当前 v1.0.57 新增 code_graph 字面量搜索、上下文建议与热重载适配器。

    推荐理由：项目把多款 AI 编程助手的互操作机制和各投递路径的真实可达程度讲得诚实具体，可作为本地多智能体协作的部署参考。

  27. GitHub · 灵魂体仓库51

    NioAI：Rust 编写的超轻量终端 AI 编码 Agent 开源

    nio-labs 在 GitHub 开源了 NioAI，一个用 Rust 编写的终端 AI 编码 Agent，MIT 协议，启动低于 10ms，内存占用约 20MB，零运行时依赖。支持 10 个内置人格预设（BFF、Partner、Ex 等）和自定义名称、性别与行为规则，兼容 OpenRouter、Groq、Claude、Ollama 等 OpenAI 兼容 provider 并自动故障转移，提供原子撤销、消息队列、19 个可选插件（SQLite、DuckDB、PDF OCR 等）与 GitHub 技能扩展，零遥测、凭据与会话全部保留本地。

  28. GitHub · 去对齐工具与仓库63

    Delvewright 将创意提示词转为可机器验证的 Minecraft 冒险地图

    stellarfeline 开源了 Delvewright，一个 Claude Code 插件，可把创意提示词转成供 1-4 人游玩的剧情驱动 Minecraft 冒险地图，并在交付前用机器验证可通关。流程中 agent 只写 schema 校验的 JSON 文档，datapack 每一行都由编译器生成；设计审批和 blockout 试走需人工确认。以示例城堡 Vesperhold v1.0.0 为例，验证包括静态分析（185 步 5 条状态路径）、338 项 PackTest 全部通过（1.586 分钟）、mineflayer bot 通关关键路径（45 步、18 次脚本死亡存活），且相同文档与 seed 可字节级复现。

    推荐理由：原文给出了从静态分析、PackTest 到 bot 通关的完整验证链条和具体数据，读者可以据此评估这套自动化地图生成流程的可靠性。

  29. GitHub · 去对齐工具与仓库56

    kamui 开源 code-review-bench 代码评审基准本地浏览器

    kamui 在 GitHub 发布 code-review-bench，一个用于在开源 PR 上对比代码评审配置的本地浏览器，当前展示 v1 记分卡，690 次已收录评审全部完成评分。语料含 16 个 PR 任务、52 个因果问题族（30 个严重、22 个其他实质）和 17 种配置，内置 Claude Code 与 Codex 评审、ce-code-review 和 thermo-nuclear-code-quality-review，个人 /review-code 配置（Sonnet 5.5）为实验项。评估员审计第一轮仍在进行，最后一次评分提出 14 个待裁定候选问题，因此暂不显示总体推荐。

    推荐理由：原文详细公开了评分内核、判定规则与证据保留方式，读者可以据此理解该代码评审基准如何保持各维度可比。

  31. GitHub · 灵魂体仓库56

    FSL 发布面向 AI 生成与验证的形式化规格语言及 fslc 验证器

    ymm-oss 开源了 FSL，一种为生成式 AI 设计的形式化规格语言，配套的 Rust 原生验证器 fslc 内置 Z3，支持 BMC、k-induction 无限深度证明和无求解器的显式状态引擎，输出机器可读 JSON 以支撑 LLM 写、验、修的循环。规格分 business、requirements、design 三层方言并通过 refinement 链接，fslc 还能生成集成测试脚手架、做事件日志一致性检查，并随附供 Claude Code 等 Agent 使用的多个 Agent Skills。

    推荐理由：原文完整给出了验证器能力、安装方式和 AI 写规格再修复的工作流，读者可以据此评估是否把形式化规格接进自己的 Agent 流程。

  32. GitHub · 去对齐工具与仓库70

    终端编码 Agent purr 开源，面向小本地模型的长任务优化

    rephyr 在 GitHub 开源了终端编码 Agent purr，主打让小型本地模型在长而模糊的任务上表现更好，也支持 API 模型。自动发现 Ollama、llama.cpp、LM Studio、vLLM 本地模型，兼容 DeepSeek、OpenRouter 等 API；提供 code/ask/learn/pair/plan 等模式，自定义 Agent 为 Markdown 文件且兼容 Claude Code 与 OpenCode 的 Agent；无遥测、MIT 协议，Terminal-Bench 2.1 上配合 DeepSeek V4.1 Flash 单次尝试得 82.0% ± 4.1。

    推荐理由：原文给出了 Terminal-Bench 2.1 上 82.0% 的实测分数和针对小模型的容错与检查机制说明，可了解其设计取舍。

  33. GitHub · 灵魂体仓库68

    NullProtocol 发布 Node.js SDK，用五个受检操作让小模型跑真实后台任务

    stuseek 发布 NullProtocol，一个 Node.js SDK，提供 extract、validate、summarize、decide、chat 五个操作，返回经 JSON Schema 或动作列表校验的结果，支持 OpenAI、Anthropic 和 OpenAI 兼容服务器包括本地模型，模型建议动作后由代码中的 guard 决定是否执行。基准测试中 48 个后台任务上，Qwen 2.5 3B 本地模型直接提示仅得 3/48，用 NullProtocol 流程得 47/48，Qwen 2.5 7B 与 Mistral Large 3 得 48/48。SDK 可通过 npm install nullprotocol 安装，可选仪表盘仅上传元数据不上传提示词和回复，MIT 协议开源。

    推荐理由：原文给出五个受检操作和 48 项任务基准数据，小模型配合该流程的准确率对比可直接复用于本地 Agent 开发决策。

  34. GitHub · 灵魂体仓库47

    llm-mailroom：基于 LangGraph 的多智能体法律文档处理流水线开源仓库

    GitHub 开源仓库 llm-mailroom 提供一套多智能体流水线，用于法律文档的摄取、分类、提取与归档，并附完整审计链。核心是每份文档运行一个 13 节点的 LangGraph 状态机，覆盖 5 类文档，含哈希链审计日志与 LLM+程序化智能体。运行时为 Python 3.11+ 和 FastAPI，存储默认 SQLite、可选 Postgres，可观测性支持 Langfuse、Braintrust、Arize Phoenix，当前版本 v0.7.1，尚未附 LICENSE 文件。

  35. GitHub · 灵魂体仓库11

    iosm-cli：在终端里简化编码任务的命令行工具

    iosm-cli 是一个在终端中辅助编写和管理代码的命令行工具，提供 checkpoints、extensions 和 orchestration 等功能，帮助自动化重复任务、保存进度和组织项目。它面向 Windows 10 及以上系统，要求至少 4 GB 内存和 200 MB 磁盘空间，从 GitHub 下载 .exe 安装后即可运行。该工具在本地运行，除非明确使用在线功能，否则不会将代码或数据发送到互联网。

  36. GitHub · 灵魂体仓库51

    BoundaryML 发布面向 agent 的 BAML 语言

    BoundaryML 在 GitHub 介绍 BAML，一门语法类似 TypeScript、专为减少 agent 出错而构建的语言，具备 Rust 风格类型系统、运行时类型持久化、静态分析的类型化错误、green threads 与内建测试/eval 框架。可通过 brew install baml 安装，支持从 TS、Python、Go、C#、Java 等语言增量调用 BAML 函数，也可独立运行。

  37. GitHub · 灵魂体仓库35

    kicad-mcp-pro v4.0.1 发布：面向 KiCad EDA 工作流的 MCP 服务器

    oaslananka/kicad-mcp-pro v4.0.1 是一个面向 KiCad EDA 工作流的 MCP 服务器，提供原理图、PCB、验证、DFM 和制造导出自动化工具。新版默认以受限配置启动，仅开放 24 个只读审查工具，需写入、制造或专家模式另行启用；信号完整性、电源完整性、EMC 和热分析工具为一阶闭式估算，精度约 5–10%。服务器支持 stdio 与 Streamable HTTP 传输，遥测默认关闭，可通过 uvx 或 npx 安装。

  38. GitHub · 灵魂体仓库37

    NppAI：基于自研 C++ 推理引擎的 Notepad++ 本地 AI 编程助手

    NppAI 是一个面向 Notepad++ 的实验性 AI 编程助手项目，围绕自研 C++ 推理引擎与 Python/PyTorch 训练管线构建，专注本地推理而非封装外部托管 AI API。项目支持自定义 .nppai 二进制模型格式、本地 RAG、OpenMP/AVX2 CPU 优化、INT8 权重量化及 DirectX 11 计算路径（含 CPU 回退），并提供 FastAPI 后端用于收集修正数据与集中式再训练。项目仍处于实验性活跃开发阶段，模型质量与性能尚在验证中，release 提供 x64、x86 和 ARM64 安装包。

  39. GitHub · 去对齐工具与仓库51

    kratai 开源规格驱动开发工具包，支持从现有代码生成规格文档

    kratai 团队开源了 AI 原生的规格驱动开发（SDD）工具包 kratai，采用 MIT 许可，可从现有代码或新项目生成包含参与者、用例、数据模型和非功能需求的 SRS 文档，并支持导出 PDF。规格以普通文件形式存于仓库，可提交并与 Claude Code、Cursor 等 AI 编码代理共享；架构图部分完全由静态分析生成、零 LLM 调用，无需账号即可通过 CLI 使用。支持 TypeScript、JavaScript、Python、Java 和 PHP，桌面应用已上线 macOS 和 Windows，注册 kratai.com 账号附赠 $30 AI 额度。仓库地址：https://github.com/kratai-desci/kratai

  40. GitHub · 去对齐工具与仓库69

    aislop 开源：检测 AI 编程智能体留下的代码 slop

    scanaislop 发布 MIT 许可的 CLI 工具 aislop，用于检测 Claude Code、Cursor、Codex、OpenCode 等 AI 编程智能体留下的代码模式，如叙事性注释、吞掉的异常、隐藏 fallback、幻觉 import、死代码和 TODO 桩。工具含 50+ 条规则、覆盖 10 种语言目标（TypeScript、Python、Go、Rust 等），对每次改动打 0–100 分，运行路径不含 LLM、结果确定性可复现；支持 npx aislop@latest scan 免安装扫描、hook 在每次编辑后触发修复、CI 门禁、SARIF 输出及 MCP server。仓库地址 https://github.com/scanaislop/aislop。

    推荐理由：原文完整给出了规则覆盖、评分机制和 CI/hook 集成方式，读者可以直接照着在自家仓库里跑起来。