跳到正文
#编码
10月10日周六
  2. GitHub · 灵魂体仓库37

    chetananand/learning-companion-serving：在稀缺 GPU 上构建学习伴侣的推理系统课程项目

    这是一个「AI 推理工程与系统设计」课程的期末项目，在 Lambda GPU 上用 vLLM v0.30.0（RedHatAI/gemma-4-31B-it-FP8-dynamic，H100 SXM 80 GB）搭建学习伴侣应用，基于 Notion 书签库回答问题并核查易变说法。每次 LLM 调用经过 edge 准入控制、Envoy AI Gateway 和 llm-d 路由，实验显示双 pod 拓扑在各负载下优于单 prefill 加单 decode pod（E3），LMCache 经 store barrier 的 KV 传输耗时 0.5 到 0.8 s。

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

    vjb/LeanLLM：面向 Lean 4 的 LLM 证明循环与量子纠错码工具链开源项目

    GitHub 上的开源项目 vjb/LeanLLM 结合三部分内容：一个 LLM 写 Lean 4 证明、编译器检错、错误回传重试的证明循环；Lagrange 定理的两种形式化；以及用于双变量 bicycle 量子纠错码的 Python 工具链。项目可为 IBM [[72,12,6]] 码构建 syndrome 电路并转译到 10×12 网格的 Nighthawk 模型，在 Qiskit Aer 噪声模型下仿真运行，还通过 MCP server 暴露 Lean 与 QEC 工具。作者强调这是可行性流水线，尚未在真实 IBM 硬件上运行，码距仅穷举到 weight 4。

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

    sec-rag-intel：基于 RAG 的 SEC 10-K 财报智能问答项目

    开源项目 sec-rag-intel 让分析师用自然语言查询 8 家公司（AAPL、MSFT、NVDA 等）的最新 10-K 财报，返回带引用的答案，并用 RAGAS 评测。技术栈包括 ChromaDB/Pinecone、BAAI/bge-small-en-v1.5 嵌入和 Groq 上的 qwen3.8-27b，评测 judge 为 gpt-oss-120b。全套在免费额度上运行，含每日 token 预算、答案缓存和限流等护栏，整体 faithfulness 0.79，多公司问题降至 0.52，公司路由与混合 BM25 检索为后续改进方向。

  5. GitHub · 3D 生成新仓库25

    XUnitAssured.Net：基于 xUnit 与 Playwright 的 .NET 端到端集成测试框架

    XUnitAssured.Net 是一个 .NET 集成测试框架，用统一 DSL 描述跨越 HTTP API、Kafka、RabbitMQ 和浏览器（基于 Playwright）的端到端场景。它支持 Bearer、Basic、OAuth2、mTLS 等认证、Schema Registry，以及共享步骤上下文；内置含 10 个工具的 MCP server，可让 Copilot、Claude Code 等 AI 助手生成测试。各模块包目标 net8.0 至 net10.0，路线图包括 Azure Service Bus 与 gRPC。

  6. GitHub · 去对齐工具与仓库19

    BaptisteBlouin/tech-brief：每日两更的 AI/ML 技术情报简报仓库

    这是一个自动发布技术情报的 GitHub 仓库，覆盖 AI/ML、LLM 工具、RAG 与智能体、MLOps、DevOps 及开发工具，每日更新两次、无人工干预，完整归档保留在仓库中。最新一期（2026-10-09）要点包括：OpenAI 为 GPT-6.1 Sol 推出 Ultrafast 模式，速度最高提升 8x；Anthropic 更新使用政策，明确禁止对 Claude 的长期言语辱骂及干预选举等行为；恶意 npm 包 tensorlake 0.5.144 会窃取开发者凭证。

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

    pytorch-llm：用 PyTorch 从零实现 GPT 架构的学习项目

    GitHub 上的 pytorch-llm 项目用 Python 和 PyTorch 从零构建了一个 GPT 风格的自回归语言模型，涵盖 token 与位置嵌入、causal self-attention、前馈网络和 4 层 Transformer block。默认配置为 block_size 128、n_embd 128、n_head 4、AdamW 优化器与 3000 次训练迭代，使用字符级 tokenizer。项目支持 checkpoint 保存与恢复、自回归文本生成，并可在 Apple Silicon Mac 上通过 MPS 后端训练。

  9. GitHub · 去对齐工具与仓库33

    any2rss 开源工具：AI Agent 生成规则，将网页或 RSS 转为持久化 RSS 2.0

    开源项目 any2rss 可将网页或 RSS 源转为持久化 RSS 2.0 订阅，支持通过 AI Agent 生成网页提取规则，并可选 DeepSeek（deepseek-flash）翻译为简体中文、英语和日语。工具基于 Playwright 抓取、SQLite 存储，通过 /feeds/{id}.xml 提供 RSS，由 Web 服务定时调度更新。生产模式强制登录，RSS 地址使用独立的只读签名令牌。

  11. GitHub · 3D 生成新仓库22

    nulpum 开源 sciencepubmedjp：用 Claude API 把 PubMed 论文自动生成日英双语科普文章

    GitHub 新仓库 sciencepubmedjp 发布，可随机抓取 PubMed 论文，通过 Claude API 自动生成日语/英语双语科普文章，基于 Astro 构建，默认日语、支持英语子路径。项目分 psychology 和 biology 两类目，内置药机法 NG 词后检查、最多 2 次再生成，并从摘要分别调用避免双重翻译；后续计划支持 Cloudflare Pages 部署与 X API 自动发帖。

  12. GitHub · 3D 生成新仓库14

    QuantaEdge：面向印地语学生的 AI 学习平台开源仓库

    QuantaEdge 是一个面向印地语学生的 AI 学习平台仓库，覆盖 Bihar Board 6–8 年级数学与科学。课程大纲含 102 章，最低题库规划为 2,166 道原创题目，当前仅 4 道已审核题目（3 道MCQ、1 道判断题）。AI 题目生成需 OpenAI 兼容 API 与显式确认标志，生成结果仅存为 AI_GENERATED_DRAFT，须编辑五项审核确认后才能以草稿导入。

  13. GitHub · 灵魂体仓库49

    JobCtrl：本地运行的求职自动化工具，自动筛选职位并定制简历

    开源工具 JobCtrl 可自动搜索职位、按 1-10 分为岗位与个人资料打分，并生成定制简历和求职信，供用户审核后投递；数据存储在本地 ~/.jobctrl/ 目录，无账户和托管后端。它支持接入 Codex、Claude 或 Google 的 LLM 服务，Discover 默认查询 Indeed、LinkedIn 和 ZipRecruiter，自动投递邮件默认关闭，LLM 日预算默认 $25。签名版本支持 macOS 15 及以上的 Apple-silicon Mac，采用 AGPL-3.0-only 许可证。

  14. GitHub · 灵魂体仓库42

    Devinorium：面向 AI 编码智能体的自托管 Web UI（Rust + Flutter）

    Devinorium 是一个自托管的 AI 编码智能体 Web UI，后端用 Rust、前端用 Flutter web，通过浏览器操作编码智能体，provider 层可插拔。当前支持 Devin CLI、OpenCode、Codex CLI 和 Grok Code 四种 provider，默认模型为 glm-5-2，支持卫星节点联邦、桌面端打包服务器和全局通知，采用 AGPL-3.0-only 许可证。

  15. GitHub · 灵魂体仓库34

    dlasley/adaptive-ai-assessment：基于 Claude 与 Mistral 的自适应测验平台与模型评估框架

    dlasley 在 GitHub 开源 adaptive-ai-assessment，一个自适应测验平台，学生通过 Leitner 计划在四种题型上练习。TypeScript 流水线将课程 PDF 转为题目：由 Claude（两个规模）生成与校验，跨厂商的 Mistral 模型按 6 项标准审计，全部模型调用经 OpenRouter。同一流水线还内置评估框架，用生产相同的 OpenRouter 集成对比候选模型；技术栈为 Next.js、TypeScript 与 Supabase（PostgreSQL + RLS），仓库本身不含课程内容。

  17. GitHub · 灵魂体仓库48

    RoR2LLMModding：让 Claude Code 等编程智能体按社区规范编写 Risk of Rain 2 模组的指南仓库

    GitHub 上的 RoR2LLMModding 仓库为 Claude Code、Codex、Cursor 等编程智能体提供编写 Risk of Rain 2 模组所需的规范，针对游戏版本 1.5.0，内容基于社区 R2Wiki 并经反编译代码核验。仓库涵盖网络模型、hook、R2API、测试与 Thunderstore 发布等文档，并提供可用 dotnet build 零警告编译的最小模组模板，以 Avoid 防御性代码、try/catch 吞错误等 AI 生成模组的常见问题。项目采用 Unlicense（公共领域）许可。

  18. GitHub · 灵魂体仓库18

    GitHub 开源项目 MyEPBuddy：面向空军主管的 AI 绩效简报生成工具

    GitHub 上的开源项目 MyEPBuddy 是一款面向空军主管及其团队的 Web 应用，用于追踪工作成就、管理团队层级，并生成符合 AFI 36-2406 和 AFMAN 36-2806 的 EPB、OPB 及勋章叙事文书。它支持 GPT-4o、Claude 3.5 Sonnet、Gemini 2.0 Flash、Grok 2 四种模型，采用自带 API Key（AES-256 加密），可自动将陈述压缩进 350 字符的 myEval 限制，并提供 700+ 成员的监督树、实时协作、外部评审链接及 AF Form 1206 奖项包功能。

  20. GitHub · 去对齐工具与仓库48

    Aludel：面向 Elixir/Phoenix 应用的开源 LLM 评测工作台

    Aludel 是一个 Phoenix 原生的 LLM 评测工作台，集提示词测试、模型对比、回归套件、red-team 数据集、质量门禁与可观测性于一体，可在 Phoenix 应用内嵌或独立运行。它支持在 OpenAI、Anthropic、Gemini、Ollama、xAI、Groq 和 OpenRouter 之间对比同一提示词的输出、延迟、token 用量和成本，并可通过 Mix CLI 以 JSON/YAML 清单执行套件，输出 console、JSON、JUnit XML 或 GitHub annotations 报告。评测套件提供确定性断言、模型裁判、重复采样，并可直接在 ExUnit 和 CI 中执行门禁。

  21. GitHub · 去对齐工具与仓库67

    autokernel 开源：用LLM辅助构建按机定制的最小化Linux内核

    mjbommar 发布 autokernel，一个LLM辅助的最小化Linux内核构建工具，探测主机硬件后用确定性规则加有界LLM判断生成Kconfig片段，构建发行版内核包并在VM中启动测试。在Meteor Lake Ubuntu笔记本上，autokernel 7.1.0-rc3候选内核相比Ubuntu原装7.0.0-15-generic，模块文件从6,906个减至737个，/lib/modules目录从153.69 MiB减至25.00 MiB，启用的Kconfig符号从10,056个减至3,298个；对一组近期高危Linux CVE的评估显示4项强降低、2项部分降低、4项核心内核暴露无变化。安装脚本非破坏性，默认不写入/boot，支持一次性的GRUB试用启动与回滚。

    推荐理由：README给出完整实测数据表，读者可以具体了解LLM辅助裁剪内核能把模块面和体积缩减到什么程度，以及哪些CVE暴露无法靠配置减少。

  22. GitHub · 灵魂体仓库43

    rness：终端优先的 Rust 引擎编码智能体，支持 Lua 配置工作流

    开源项目 rness 发布，定位为“编码智能体中的 Neovim”，采用 Rust 引擎加 Lua 可配置工作流，支持自定义 agent、快捷键、slash 命令和插件。可连接 Anthropic、ChatGPT、OpenRouter 或本地 Ollama 模型，提供交互式 TUI、headless 和 HTTP/SSE 三种运行方式。项目处于早期阶段，配置与扩展 API 仍在演进，默认审批策略为 allow，可用 --approval ask 或 never 调整。

  23. GitHub · 去对齐工具与仓库48

    chargehand：将请求转为类型化 Task Spec 并在 OpenCode 或 Claude Code 上运行的开源工具

    chargehand 将请求转为类型化的 Task Spec，在 OpenCode（锁定 2.0.18）或 Claude Code（锁定 2.1.283）的编码智能体会话上运行，并返回附证据的 result/v1 结果。它支持 CLI、HTTP 和 MCP 调用，worker 默认只读，代码预设（0.8.0 起）只允许在沙箱中写入通过测试的分支。运行日志记录 tokens、缓存命中、成本和每次调用的提示词链。

  24. GitHub · 灵魂体仓库35

    Axiom：连接意图、实现与证据的开发控制平面

    灵魂体仓库发布 Axiom，一个让软件的意图、架构、实现、验证与运行证据保持连接的开发控制平面。MVP 聚焦配置 Project 后通过本地认证 CLI 上受控的 Codex 和 Claude 智能体交付 Work Item，由人类审查并显式接受或打回返工。目前已提供经校验和验证的 Linux、macOS 和 Windows 安装包；可配置工作流等 MVP 能力仍在交付中，需验收后才可用。

  25. GitHub · 灵魂体仓库42

    Harness：Sean McDonnell 开源的 Rust 个人编码 Agent

    Sean McDonnell 的个人编码 Agent Harness 以 Rust 编写，仓库公开且采用 MIT 许可，当前版本 1.3.0，处于积极维护状态。它支持读写仓库、运行工具、可恢复会话，提供终端与本地 Web 界面，用户可指定 provider:model 路由并配置自定义 OpenAI 兼容端点，也可搭配 Ollama 等本地后端使用。项目通过 `make verify` 完成格式化、lint、测试与合成验收，无需 API key。

  26. GitHub · 去对齐工具与仓库47

    tokalator：面向 AI 编程的上下文工程工具包（网站 + VS Code 扩展 + Claude Code 插件）

    GitHub 上的 tokalator 项目发布，提供一套 AI 编程上下文工程工具包，包含 tokalator.ai 网站、VS Code 扩展和 Claude Code 插件 tokalator-glossary。工具内置 Token 计算器（实时定价）、模型对比、prompt caching 节省估算、context rot 预测和上下文优化器；VS Code 扩展以 LOW / MEDIUM / HIGH 显示 token 用量并按相关性排序文件，Claude Code 插件可在 /init 后自动生成代码库术语表以节省 token。项目采用 MIT 许可证开源。

  27. GitHub · 去对齐工具与仓库66

    Ducklab v0.7.0 开源发布：多模型角色分工的自托管开发循环引擎

    jrullan 在 GitHub 发布 Apache-2.0 协议的开源项目 Ducklab（v0.7.0），一个自托管的 Go 引擎加 CLI 和桌面端，让多个 LLM 在固定角色下跑完整开发循环：brief → 需求 → spec → 计划 → 构建 → 审查 → 发布。核心设计是任何模型都不做判定，verdict 一律取自测试命令的 exit code，接受必须从干净 checkout 复现绿色基线，审查者看不到作者身份。项目以本地模型优先（llama.cpp、vLLM）为座席，仓库记录显示 454 次运行、约 2300 次座位分配由本地与 OpenRouter 托管模型混合完成，并提供 MCP server（io.github.jrullan/ducklab）供外部模型操作整个循环。

    推荐理由：仓库自带 454 次真实运行记录和各模型座位实测通过率，读者可以据此了解多模型互相制衡、以测试门禁替代模型判断的可复用做法。

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

    simota 开源 coding-skills：覆盖编码全生命周期的八个 Agent 技能

    simota 发布 coding-skills 仓库，包含覆盖编码生命周期的八个 Agent 技能，从 coding-explore 到 coding-ship，每个技能负责一个阶段并以证据而非保证作为产出。核心机制是运行前登记一行可观测预测，事后按 hit/miss/void 记录，同区域连续两次 miss 即停止编辑转为阅读；技能选择只依赖 description，边界、契约与预算由 coding-registry 下的 YAML 统一管理并由 CI 强制，make check 会用一次性仓库实测 26 项 git 行为。

    推荐理由：原文讲清了八个编码 Agent 技能的分工、预测登记契约与预算强制机制，读者可以借鉴其技能集组织方法。

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

    Crewship 开源：把一台 Ubuntu 机器变成自托管 AI 编码智能体集群

    GitHub 项目 Crewship 通过 Ansible 把一台全新 Ubuntu 24.04/26.04 机器部署为自托管 AI 编码智能体集群，包含 Herdr 工作区、Firstmate 编排器和 omp 智能体群，无云依赖。工具链经校验和验证，支持 fleet guards、自动清理、自托管 GitHub Actions CI 池、Concord（Discord）与 slk（Slack）终端聊天客户端及 iMessage 桥接。实测 96 vCPU、247 GB 内存主机跑 37 个智能体进程约占 67 GB 内存。许可证为 FSL-1.1-Apache-2.0。

    推荐理由：用 Ansible 在一台 Ubuntu 机器上跑起自托管 AI 编码智能体集群，实测数据给出了 96 vCPU 主机跑 37 个智能体的内存开销。

  30. GitHub · 去对齐工具与仓库33

    Atelier Studio：面向科研的原生 macOS 工作区，集成 Claude Code 与 Codex 辅助写作

    Atelier 是一款面向硕士生、博士生和研究者的原生 macOS 科研工作区，把文献、分析脚本、图表与论文章节整合在同一界面，并提供 AI 辅助。它内置 PDF 阅读器、Zotero 集成、代码编辑器、图表画廊和终端，支持以 LaTeX 或 Markdown 撰写论文，并可配合 Claude Code 或 Codex 完成修订。应用需 macOS 12.3 及以上 Apple Silicon，自带后端无需 Node.js 或 Python，采用 MIT 许可开源。

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

    Veasel Code：开源 V 原生 AI 编码智能体 veasel-labs/veasel 项目

    Veasel Code 是一个开源 AI 编码智能体项目，采用 V 原生运行时和 server-first API，当前垂直切片提供带 health/capability 端点的 V 服务器、SQLite 支持的会话与聊天历史、可回放的 SSE 事件流及 OpenTUI 终端客户端。会话可通过 OpenAI-compatible（默认）、Anthropic 或 Gemini API 对话，仓库工具、代码修改与后台执行仍在开发中，产品只报告真实模型回复。代码采用 MIT 许可，启动像素肖像在 CC BY-NC 4.0 下发布，服务器默认绑定 127.0.0.1:4097。

  33. GitHub · 去对齐工具与仓库30

    Kast 开源：基于 IntelliJ IDEA 为 Kotlin 编码智能体提供编译器级代码查询工具

    Kast 通过 IntelliJ IDEA 为编码智能体提供以编译器为依据的 Kotlin 声明、引用关系、诊断和精准源码修改，智能体提问、Kast 检查工作区并区分完整覆盖、带限定的事实与拒绝三种结果。运行要求 Apple silicon macOS、Kotlin Gradle 仓库及 IDEA 262.*。工具支持通过 kast plugin codex 接入 Codex，也提供 Copilot、Pi 等连接方式，Control 与 Host 组件可独立升级。

  34. GitHub · 去对齐工具与仓库60

    开源工具 agent-observatory 本地分析 coding agent 会话日志并追踪行为漂移

    routsom 发布开源工具 agent-observatory，本地读取 Claude Code、Codex、Gemini CLI 和 opencode 的会话日志，生成 read_edit_ratio、blind_edit_rate 等六个客观行为指标，用 DuckDB 追踪跨 CLI 和模型版本的质量漂移。数据只在本地处理，分享默认关闭且仅传输数字聚合值，隐私约束由类型系统和测试强制执行，可选服务器端采用 k-匿名聚合。

    推荐理由：原文给出六个结构化指标和隐私实现细节，读者可以直接在本地量化 coding agent 的行为漂移。

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

    VerifyRTL：LLM 辅助的 RTL 验证工具，仿真与形式化验证一体化

    开源项目 VerifyRTL 将 Verilog/SystemVerilog 设计的有向仿真与形式化验证整合到一条流水线中，自动生成验证计划、建议属性并转换为 SystemVerilog Assertion。它基于 Icarus Verilog 与 SymbiYosys/Yosys 运行，每个结论（PROVEN、FALSIFIED、TIMEOUT 等）都来自真实求解器运行，并为 PROVEN 附加 vacuity 检查与假设一致性检查，超过 8 个假设时跳过冲突隔离并如实报告。

  36. GitHub · 去对齐工具与仓库46

    woowoeth/podcast：一个以 Claude 驱动的播客深读站点与质检管线

    GitHub 用户 woowoeth 开源了 podcast 仓库，每天从 54 档中英文播客中生成带时间戳的播客深读，采用 RSS 官方逐字稿等五层文稿回退加逐字质检，验不过的记录一律不发。云端 GitHub Actions 与本机 launchd 双线日更，模型只用 Claude：claude-sonnet-5 写首稿、claude-opus-5 评分与重写，本机转写用 mlx-whisper，不需 API key。

  37. GitHub · 3D 生成新仓库34

    ahmetrasit/prose_generation：为古兰经读者生成翻译、经文与章节评注内容的仓库

    GitHub 仓库 ahmetrasit/prose_generation 负责撰写古兰经阅读器的翻译主线、经文（ayah）评注和章节（surah）评注。2026-10-04 起生产运行两条工作流：Commentaries v16 r13（含可选 augment9 层）和 Enrichment v2；此前 v5 工作流已被取代，其使用 gpt-5.6-luna 与 gpt-5.6-sol max agents 分别做发现、写作和编辑整合。目标读者是不懂阿拉伯语语法的土耳其语使用者，内容分翻译主线、经文功能与共鸣等三层。

  38. GitHub · 3D 生成新仓库15

    RiddleForge-GPT 开源：从零训练小型模型生成数学谜题并给出解答

    GitHub 新仓库 RiddleForge-GPT 提供从零训练的完整项目，教一个小型语言模型生成数学谜题并附逐步解答，定位为可部署的课堂或辅导工具。项目包含训练管线、推理感知生成层、多语言界面与可部署 Web 体验，强调谜题数字可验证、难度可调，并支持深浅色模式、可复现的 seed 控制与输出溯源日志。

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

    Routecraft 开源 AI 自动化平台发布：用 Route 统一 MCP 工具、HTTP 端点与定时任务

    开源项目 Routecraft 发布，这是一个 AI 自动化平台：每个能力（capability）是一条从源头经操作到目标的有类型管线，同一 route 依来源不同可成为 MCP 工具、本地代理可调用的能力、HTTP 端点或 cron 定时任务。Agent 本身也是 route，模型调用同样可用 .authorize()、.throttle()、.retry()、.timeout() 等护栏。项目提供 craft-harness 完整 agent 示例（含聊天、沙箱 shell、网页抓取、记忆、人工审批等），CLI 基于 Bun（>=1.1.0）运行，并可接入 Claude Desktop。

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

    GabrieleBosi 开源 linea 钢梁报价原型，四个 LLM 步骤全程配评测与人工审批

    GabrieleBosi 发布了面向虚构钢梁厂商 Ferralba Steel 的 linea 原型，把客户邮件到可执行订单拆成十三个步骤，其中四个 LLM 步骤带 schema、代码检查和人工审批，每条请求行分商业与技术两条状态轨。作者用 gemini-3.8-flash 跑了三轮评测，质量用例通过率最高 100%，攻击全部拦截，并复盘了两起判分与提示词导致的失败及修复。公共 demo 在浏览器内回放录制输出，无需注册和 API key。

    推荐理由：作者把报价流程拆成四步 LLM 步骤并配对抗评测，还复盘了两处判分与提示词的失败细节，方法可迁移。