跳到正文
10月24日周六
  1. GitHub · 去对齐工具与仓库44

    BotConnector 推出终端 AI 编程工具 bccli

    BotConnector 发布可在终端工作的 AI 编程智能体 bccli,能读取代码、编辑文件并执行命令,需经用户许可。支持一行命令安装(macOS/Linux/WSL2,Windows 需 Node.js 22+),提供 -p 单任务、/undo、/rewind、/compact 等命令,可通过 API key 接入 OpenAI、Gemini、DeepSeek、Groq、Ollama 等多种 provider,并支持连接 OpenCode、Aider、Cline、Codex、Claude Code、Cursor 等外部 agent。

  2. GitHub · 去对齐工具与仓库50

    agentti-pohja:仅用 Python 标准库的定时 AI agent 框架模板

    GitHub 用户 tonyweckstrom1987 开源了 agentti-pohja,一个用于定时 AI agent 的 Python 模板,适用于每日摘要、新闻追踪、报告等「收集数据、模型摘要、发送到 Telegram」类任务。仅依赖 Python 标准库,无需 pip 安装,要求 Python 3.10+(CI 测试 3.10-3.13),仅支持 Linux/macOS。内置费用上限(默认日上限 0.05 USD、月上限 1.00 USD、每日 3 次 LLM 调用)、调用前预留费用、OpenAI 兼容 LLM 客户端、ok/ei_tietoa 双态结果模式、防 prompt injection 的 <data> 数据块、每日最多一次 Telegram 发送、心跳监控和 systemd 加固模板。

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

    evalops 开源:面向 LLM 应用与 Agent 的版本化评测与成本控制工具

    minghao51 在 GitHub 发布 evalops,一个后端无关的工具,用于 LLM 应用与 Agent 的版本化、评测、门禁和成本控制。支持 MLflow、Langfuse、LangSmith、Logfire、git+SQL 等后端,兼容 LangGraph、OpenAI Agents SDK、CrewAI、DSPy 等 Agent 框架,提供 pass^k 可靠性门禁、预算控制、judge 校准和 CI 流水线适配(GitHub/GitLab/Azure DevOps)。项目处于 phase 1 收尾阶段,vendor 插件尚未在真实服务上验证。

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

    知了:面向大学生的校园通知聚合工具,AI 三行摘要一键看全学校通知

    知了(zhiliao)把散在教务处、图书馆、各学院等处的校园通知聚合成一条信息流,内置智谱 GLM-4.7-Flash 将每条通知压成「是什么/关键信息/该怎么办」三行摘要,并按 high/normal/low 分级。项目聚合大连理工 24 个来源,支持粘贴网址免代码加源、URL 与跨来源标题去重、Webhook 推送,无 API Key 时自动降级本地规则。技术栈为 Python 3.11+/FastAPI、Flutter 客户端与 Tkinter 便携桌面版。

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

    JAiRouter v3.5.0 发布:自托管 AI 模型网关,统一 Ollama、vLLM 等后端

    JAiRouter 是一个自托管 AI 模型网关,在 Ollama、vLLM、GPUStack、Xinference、LocalAI 及 OpenAI、Anthropic、Gemini 等后端前提供统一的 OpenAI 兼容端点,现有 OpenAI SDK、LangChain、LlamaIndex 代码只需改 base_url 即可使用。它提供多实例负载均衡、限流、熔断与故障转移、JWT/API key 认证、数据驱动 RBAC(63 个权限码、4 个角色模板)、审计日志、调用历史治理和 Prometheus/OpenTelemetry 可观测性,全部可通过 Web 控制台热更新。

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

    Dougong:面向 .NET 生态的插件化 Agent Harness SDK 开源项目

    开源项目 Dougong 借鉴 DeepSeek Harness(dsh)的 "Everything is a Plugin" 思想,为 .NET 生态构建插件化 Agent Harness SDK,目标框架 net10.0。项目处于实验性 Alpha 阶段,Dougong.Kernel 已实现生命周期、服务、事件与动态加载并拥有 156 项内核行为测试,M0 已于 2026-10-24 关闭;Agent、Ai、Mcp、Acp 仍为骨架,Cli 为占位宿主,暂不建议作为生产依赖。

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

    jmccardle/tau:Python 编码 Agent 框架 tau 发布于 GitHub

    jmccardle 在 GitHub 发布 tau(τ),一个 OpenAI 兼容工具调用系的 Python 编码 Agent 库,支持 TUI、headless CLI、RPC 子进程驱动和可选 JMFTS 会话存储,由 tau-llm、tau-agent-core、tau-coding-agent、tau-jmfts 四个可独立安装的包组成。项目从 TypeScript 的 pi-mono 移植而来,但在多处有意分歧:推理重放默认按 turn 而非 all(实测载荷占比从 72% 降到 28%)、采用 Fail-Early 报错而非静默回退、删除了 register_flag/get_flag 并引入每扩展配置对象、不追逐 pi 的全部 ctx.ui 界面。

  8. GitHub · 去对齐工具与仓库62

    Scraps 发布:面向 LLM 时代的 Wiki 链接文档编译器

    boykush 开源了 Scraps,把带 [[wiki-link]]、#[[tag]]、![[embed]] 等语法的 Markdown 当作类型化源码,编译成供人阅读的静态 HTML 站点和供脚本与 AI Agent 使用的 CLI JSON 输出。中间 IR 存于 .scraps/ 目录下避免重复解析,Agent 集成以 CLI + JSON 为主路径,无需实现 MCP 客户端;自带 llm-wiki(Karpathy 风格 Ingest/Query/Lint 技能)、pkm 个人知识管理技能和 mcp-server 插件。通过 brew install boykush/tap/scraps 或 cargo install scraps 安装,MIT 许可。

    推荐理由:作者本人发布的 CLI 工具,同一份 Wiki 链接 Markdown 既编译成静态站也输出 JSON 供任意 Agent 查询,附带 Claude Code 技能。

  9. GitHub · 灵魂体仓库19

    ClarityOKR:把模糊意图转化为可执行 OKR 的桌面 AI 助手

    ClarityOKR 是一款桌面 AI 助手,通过引导式问答(AI 生成 2-5 个澄清问题、互斥选项)把“提高效率”这类模糊表述转化为结构化 OKR。应用基于 Electron + Angular 和严格 TypeScript 构建,便签窗口支持进度录入、复盘、历史记录,可导出 Markdown 或 JSON。API 密钥以 AES-256-GCM 加密存于系统钥匙串,本地采用 SQLite 持久化并带 LLM 缓存与熔断降级。

  10. GitHub · 灵魂体仓库37

    Open Accounting Bench:GitHub 开源的 AI 会计智能体可执行基准

    GitHub 上的 bex-co 仓库 Open Accounting Bench(OAB)是一个用于评测 AI 会计智能体的开源可执行基准,目前处于 pre-alpha 阶段的 v0.2 开发中状态。它通过参数化任务家族动态生成任务,并采用五层确定性状态验证打分,不依赖 LLM judge,核心指标为 Verified Task Completion Rate。任务基于 Harbor 格式在隔离无网络容器中评估,现有 7 个冻结 Stable 实例,90 天目标是 12–15 个经过验证的生成器,采用 Apache-2.0 许可证。

  11. GitHub · 灵魂体仓库55

    AstrMobile 开源:把 Android 手机变成免 ROOT 的 AstrBot 常驻主机

    AstrMobile 是一个 Android 应用,通过应用内 Ubuntu 24.04 arm64 rootfs 加 proot 免 ROOT 运行完整 AstrBot 与 NapCatQQ,把手机变成常驻机器人主机。内置一键安装、状态机启停、六项自检、模型热切换、插件市场和备份恢复,API Key 用 Android Keystore 加密,所有服务只监听 127.0.0.1。要求 arm64-v8a 和 Android 8.0+,安装约 3.5 GB,NapCat 基于 Electron 常驻 1–2 GB 内存,作者提醒非官方协议接入 QQ 存在风控风险,项目以 AGPL-3.0 发布。

    推荐理由:用 proot 在 Android 上免 ROOT 跑完整 AstrBot 加 NapCatQQ,安全设计和已知限制都写得很具体,适合想自部署 QQ 机器人的读者。

  12. GitHub · 灵魂体仓库13

    Parul Gupta 的 CodeForge:面向软件工程求职的 Engineering OS 风格作品集

    Parul Gupta 发布 CodeForge,一个以"Engineering OS"定位的软件工程求职作品集静态站点,无需 API key 和付费服务即可运行。站点内置 ⌘K 命令中心、Recruiter Mode 与 trace 等命令,旗舰项目包括 CodeForge(Express · Socket.IO · Gemini/Groq · Docker sandbox)、PriceLoop 和 PulseOps。AI 功能为可选增强,未配置 GEMINI_API_KEY 时 AI agent 使用本地检索数据。

  13. GitHub · 灵魂体仓库38

    VERITAS:结合静态分析与 LLM 推理的以证据为中心的全程序分析平台

    GitHub 仓库 skg7on/VERITAS 是一个以证据为中心的全程序分析平台,将确定性静态分析与 LLM 辅助语义推理结合:Agent 只在结构化的 Evidence IR 上推理,假设须经确定性验证器确认。平台以 Function Summary IR 与 SummaryDB 为核心,使用 Soufflé Datalog 做增量 WPA,集成 SVF 与 Z3,基于 C++20、CMake 3.23+ 和 LLVM/Clang 22+(推荐 24.x),存储支持 RocksDB 与 SQLite。

  14. GitHub · 灵魂体仓库54

    Tingly Box 发布统一 AI 网关,连接任意 Agent 与任意模型

    Tingly Box 开源了统一 AI 网关,支持任意 Agent 对接任意模型,提供协议双向转换、一键配置 Claude Code 与 Codex 等客户端、智能路由和团队密钥管理。支持 OAuth 复用现有配额、vLLM/Ollama 等自托管推理服务器,可通过 Telegram、微信、飞书、钉钉等 IM 远程控制 Agent,通常增加不到 1ms 开销,项目采用 MPL-2.0 许可。

  15. GitHub · 灵魂体仓库61

    bitbaum 发布 ai-kit:把应用的模型回退、429 分类与配额管理打包成一个 npm 安装

    bitbaum 发布 @bitbaum/ai-kit(v0.3.0 前名为 ai-ration),把应用接入 AI 需要的多个决策合并为一次 pnpm 安装:模型回退链、complete()/completeStream() 调用、健康探测、模型目录腐化检查、三种 429 分类、免费额度公平分享、表单填充、网络搜索引用绑定、视觉模型路由与 BYOK 密钥校验。动机来自 2026-08-26 Groq 停用全部 llama-3.x 系列时,五个仓库同时宕机而采用回退链的那一个不受影响;实测发现九个免费模型中五个仅支持文本工具协议、groq/openai/gpt-oss-20b 在 maxTokens 16 时返回空而 256 时正确,因此 complete() 把空内容 200 视为失败并为每条链路单独设超时。

  16. GitHub · 灵魂体仓库47

    Google Mantis:AI 时代构建安全软件的便携工具包

    Google 开源的 Mantis 是一套技能(skills)加 ADK 参考实现的工具包,覆盖威胁建模、代码审查、漏洞研究、修补到报告的完整安全流程。它支持 `./run.sh --focus` 指定目标、`--exclude` 排除目录、`--max-tokens` 设定花费上限及并行扫描,并通过研究图合成动态生成 agent-graph 拓扑。仓库强调需在隔离环境使用,AI 发现须经安全专家人工验证,PR 扫描尚未实测、不可用于合并门禁。

  17. GitHub · 灵魂体仓库52

    LineageLens 开源:追踪 AI 生成代码的提示词、模型与采纳状态

    karnati-praveen 发布开源工具 LineageLens(MIT 协议),为 AI 生成代码做溯源记录,捕获提示词、所用模型、文件位置及编辑是否被采纳,数据存放在用户自托管的基础设施中。它提供 VS Code / Cursor / Windsurf 扩展和通用 LLM 代理两条捕获路径,支持 Claude Code、Codex CLI、Gemini CLI 等工具,后端为 FastAPI 加 SQLite 或 PostgreSQL(可选 Neo4j),按 Base/Lite/Plus/Max 分档,含五信号置信度评分、风险评分、防篡改哈希链和可签名的 AI-BOM 导出;Cursor 与 Copilot 的 agent 流量走专有后端,仅能做编辑器级捕获。

  18. GitHub · 灵魂体仓库29

    Repomix:把整个代码库打包成 AI 友好格式的开源工具

    Repomix 是一个开源工具,可将整个仓库打包成单个对 LLM 友好的文件,供 Claude、ChatGPT、Gemini、DeepSeek 等 AI 工具使用。它提供逐文件和整库的 token 计数,支持 XML、Markdown 和纯文本输出,并集成 Secretlint 检测凭证文件、通过 Tree-sitter 的 --compress 选项压缩代码以降低 token 消耗。用户可通过 npx 一条命令使用,也可经 repomix.com 网站、Chrome/Firefox 扩展或 VSCode 扩展 Repomix Runner 操作,该工具已获 JSNation Open Source Awards 2025 提名。

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

    API Evangelist 新建 Voyant.io API 公开档案仓库

    API Evangelist 维护了第三方档案仓库,剖析 Voyant.io 这一品牌上下文平台的公开 API,该平台可将企业定位、产品与定价等转化为 AI 工具和智能体可读取的结构化上下文。档案收录了逐字保存的 OpenAPI 3.1.0 规范(783 个操作、79 个标签、266 个 schema)、托管的 voyant-mcp 1.1.0 服务器(15 个工具)、3 个经验证的 agent skills,以及针对 787 个已分类操作推荐的 x-agentic-access 契约。仓库不提供任何软件下载,评分与下架请求均免费处理。

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

    Mediscript AI 开源:多语言语音实时生成医疗处方的 AI 助手仓库

    GitHub 上新开源的 Mediscript AI 是一个基于语音交互的医疗处方实时生成系统,可通过语音输入医学信息并生成结构化处方草稿。系统支持英语、印地语、马拉地语、德语 4 种语言,并提供物理按钮和语音命令两种录音控制方式。处方最终由医护人员审核、修正并批准后生效。

  21. GitHub · 3D 生成新仓库17

    GitHub 开源学习工具 NVLearn:Flask 应用把笔记变成主动复习系统

    开源项目 NVLearn 基于 Python Flask 构建,是一个帮助学生把笔记转化为主动学习材料的学习伴侣应用。它支持笔记增删改查、Tesseract OCR 文档导入、Draw.io 图表编辑、AI 生成 Mermaid 图表、flashcard 和 quiz 生成,并通过 ChromaDB 提供向量语义搜索。技术栈还包括 SQLAlchemy、SQLite、Google Gemini API 和 Cloudflare Workers AI。

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

    QuinSQL:面向 Oracle 数据库的新一代 AI 命令行工具开源发布

    开源的 QuinSQL 是 SQL*Plus 和 SQLcl 的 AI 增强替代品,单二进制文件、无 JVM 和 Oracle Client 依赖,启动时间低于 100 ms,兼容现有 SQL*Plus 脚本。它内置 schema 感知补全、语句分级安全护栏和 /ask 自然语言转 SQL 功能,可接 Anthropic、OpenAI、Gemini、Ollama 等任意 LLM。目前为早期预览版,采用 Freeware 免费提供。

  23. GitHub · 3D 生成新仓库48

    zebra-printer-mcp:ZPL 标签生成 + Zebra Link-OS 打印机控制的 MCP 服务器

    GitHub 开源仓库 benyshen/zebra-printer-mcp 提供基于 ZPL 标签生成与 Zebra Link-OS 打印机控制的 stdio MCP 服务器,Windows 实机跑通,Linux/macOS 除 windows/usb 传输外通用。它在 Zebra ZR668-200dpi(固件 V86.20.21Z)上验证了网络打印、状态查询和中文打印,内置 9 个工具,支持 Excel 名单批量打标(5 张约 1.0 s)和照片重建 ZPL(zxing-cpp 解码 + PP-OCRv4 识别,本地 OCR 约 0.14 s)。

  24. GitHub · 3D 生成新仓库49

    LégiRoute:基于法国公路法规的 RAG 问答系统

    新开源项目 LégiRoute 基于 RAG 架构为法国《公路法规》提供自然语言问答,从 Légifrance 检索现行有效条款并生成带编号引用和官方链接的答案。系统采用 Gemini Flash 做意图分类、追问改写与生成,用 Pinecone 存储 3072 维嵌入,共索引 1163 篇现行条款,数据库每日通过 Légifrance PISTE API 自动更新。在 61 题、18 类别的评测中,由 LLM 评分的 Faithfulness 达 0.935、Context Precision 达 0.940。

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

    Quantic 开源:基于 RAG 与长期记忆的 AI 聊天机器人项目

    GitHub 新仓库 Quantic 发布,是一个围绕对话式 AI、RAG、长期记忆和文档理解的 AI 聊天机器人项目。项目使用 Groq SDK、ChromaDB 和本地 embedding,支持 PDF 与 Office 文档处理及 Tesseract.js OCR,采用 JWT 认证和可选双因素认证。前端基于 React 19 与 Vite,后端采用 Node.js、Express 5 和 MongoDB。

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

    losseeer 开源 codebase-teaching-agent 本地代码库教学工具

    losseeer 在 GitHub 发布 codebase-teaching-agent,给定本地仓库路径后用静态分析生成符号级依赖图、逐文件摘要及控制流图、函数内数据流、类型关系、注册与配置索引四类产物,写入仓库的 .tutor/。问答、结构图与教学由同一 agent 通过检索完成,模块节点可溯源到文件或符号;支持 .tutorignore 排除无关文件、自定义 skill 与 MCP 服务,可本地运行,不配模型也能启动,月预算触顶即拦截请求,License 为 MIT。

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

    retopo-director 开源:LLM 指导的高模到 PS2 级低模重拓扑工具

    doctorspider42 在 GitHub 发布 retopo-director,可将 5 万三角面雕塑转为 1 千三角面、256² 调色板化、三角条带化的 PS2 资产,顶点、UV 和纹素全部由确定性 C++ 代码处理,语言模型只负责命名部件、分配预算和评审渲染结果。支持 claude CLI、codex CLI 或 OpenAI 兼容 API 作为 director 后端,区域切分可选几何算法或 SAM;基准测试显示多数资产轮廓偏移在 2 像素内,无 director 模式数秒完成,带 director 需数分钟。工具以 Apache-2.0 协议开源,提供 Windows 安装包和 headless 命令行模式。

    推荐理由:原文给出各资产的轮廓偏移实测数据和确定性代码与 LLM 分工设计,读者可据此评估这套 PS2 资产重拓扑管线的实际精度。

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

    TFR:Python 终端 MUD/MUSH 客户端发布

    TFR 是一个用于并发 MUD/MUSH 会话的 Python 终端客户端,支持 TCP 或验证 TLS 连接、持久多客户端 Gateway、全屏多世界 UI、JSONC 配置和 JSONL 事件日志。安装助手可检测 uv 并获取 Python 3.12+,提供 all-in-one、本地/远程 Gateway 等多种配置模式,并通过 tfr-doctor 进行检查。

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

    Medfarl AI 系统发布 v0.2.0-alpha:本地 LLM 驱动的 PC 诊断助手

    GitHub 开源项目 Medfarl 发布 v0.2.0-alpha 预览版,是基于 Ollama 的终端本地诊断助手,默认模型为 tripolskypetr/qwen3.5-uncensored-aggressive:9b,所有分析在本机完成、无云端依赖。它支持硬件、进程、日志与服务的检查,维护操作需经确认;交互式 coder 模式可读写文件并运行测试,最多 20 步,写入需显示 diff 并确认。

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

    旁批发布:只讲已学内容的 Windows 讲义伴读工具 Text-Tutor

    LovableWind 在 GitHub 发布开源讲义伴读工具旁批(Text-Tutor),选中讲义文字后只基于已学进度讲解,超出进度的内容标⏭引申并注明讲次页码,讲义外内容标➕补充。支持 PDF 取词、截图识别残缺公式、整学期 PPTX/PPT/PDF 按讲次排序,习题可分层给提示而不直接给答案;Windows 10/11 解压即用,默认接 DeepSeek API,也可换智谱、硅基流动或本地 Ollama,仅后端用 Python 标准库实现,含 48 项端到端测试,MIT 协议。

    推荐理由:这个讲义伴读工具的核心约束是只引用已学过的内容,越界引用会触发自动重写,适合关心 AI 讲解不剧透后续课程的人。

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

    gchat-ai-translator:用自有 LLM API Key 实时翻译 Google Chat 的 Chrome 扩展

    开源 Chrome 扩展 gchat-ai-translator(MIT License)让个人用户以 BYOK 方式在 Google Chat 中实时自动翻译收发消息,无需付费 Gemini 附加功能。它支持 OpenAI、Claude 及 OpenAI 兼容自定义地址,将译文附在原文下方;默认每会话自动翻译上限 200 条、跳过超 2,000 字符的长消息,API Key 与翻译记录仅存本地。

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

    SR2 2.0.0-alpha:面向 AI Agent 的上下文运行时(GitHub 开源项目)

    GitHub 开源项目 SR2 发布 2.0.0-alpha 版本,定位为介于 agent harness 与 LLM provider 之间的上下文运行时,管理上下文窗口的完整生命周期,包括分层组装、压缩、摘要、记忆、token 预算、KV-cache 对齐与优雅降级。SR2 通过注入 LiteLLMCallable 与 tool_executor 驱动多轮工具调用循环,支持嵌入式和 HTTP 网关(sr2-relay)两种交付模式,可对接 Claude Code、Cursor 等外部 harness。

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

    SenjuWoo 发布 Ultimate-AI-Starter-Bundle 多供应商 AI 启动工具包

    GitHub 上的 Ultimate-AI-Starter-Bundle 是一套多供应商 AI 启动工具包,支持 Claude Code、Codex、Grok、Kimi、Hermes 和 Google Antigravity,提供 124 个通用技能、可选 49 技能的 Skyrim 模组包、小型 MCP 核心与离线知识库。安装器默认提供 um 工具,um comfy 支持免密钥本地 ComfyUI 图像生成;视频处理需 FFmpeg,3D 转精灵需 Blender,付费 fal 生成需用户自行配置。

  34. GitHub · 灵魂体仓库52

    TT_Sniffer 开源自托管情报台:实时监测中文市场小作文传播链

    TTDiang2 发布开源项目 TT_Sniffer,一个自托管情报台,监测中文市场传闻的公开二级传播层,让用户在分钟级而非数天内获知传闻。项目聚合财联社、新浪7x24、Bloomberg、WSJ RSS、股吧、韭研公社、Telegram 公共频道、Polymarket 等 20+ 来源,用规则引擎加可选 LLM 做分类、打分、SimHash 聚类与辟谣对撞,支持外语文自动翻译、自动锐评与当日情报 AI 问答。整个系统以 FastAPI + SQLite 单进程运行,内置 React 前端,推送企业微信/钉钉/飞书告警,通过 337 个测试,MIT 许可证,并明确不监控私聊、不绕过付费墙等合规边界。

  35. GitHub · 灵魂体仓库30

    sandraschi 开源 google-ai-mcp:基于 FastMCP 3.2 的 Google AI 云服务统一网关

    sandraschi 在 GitHub 开源 google-ai-mcp,用 FastMCP 3.2 构建统一网关,通过 11 个 MCP 工具接入 Gemini 3.1 Pro 聊天、Nano Banana 2 / Pro 图像、Veo 3.1 Preview 视频、Lyria 3 Pro 音乐、Gemini TTS 语音和 gemini-embedding-001 嵌入,并提供本地 LeWorldModel(LeWM)桥接做世界模型规划。缺少凭证时各服务自动回退到 mock 模式,支持 Claude Desktop MCPB 安装和 Tauri 原生桌面打包,实时语音代理则需搭配 speech-mcp 使用。

  36. GitHub · 灵魂体仓库44

    AlphaCentauri:AI 自主形式化一阶算术元数学的实验仓库

    FormalizedFormalLogic 组织的 AlphaCentauri 项目尝试让 AI 智能体自主形式化一阶算术的元数学,基于 Lean 4 数学逻辑库 Foundation 构建。人类通过 GitHub issue 决定形式化目标,素材取自 [HP98] 与 [Lin97],AI 智能体负责编写、审查和维护 Lean 代码,并提供 just cache、just axiom-audit、算术理论 Zoo 图等工具。项目采用 Apache-2.0 许可证。

  37. GitHub · 灵魂体仓库62

    model-eol 开源工具发布:扫描代码里的模型 ID 并预警退役日期

    开发者 thossullivan 发布 model-eol,一个扫描代码中 AI 模型 ID、标记已退役或即将退役模型的工具,提供 CLI、GitHub Action 和自动开迁移 PR 的机器人三种形态。动机是 2026 年 7 月 23 日 OpenAI 关停一批模型快照导致其研究工作流报 model-not-found 错误,而退役日期此前只散落在供应商文档和邮件里。

    推荐理由:作者从一次模型下线导致工作流中断的亲身经历出发,给出了模型退役日期的开源 feed 格式与 CLI、GitHub Action 和自动开迁移 PR 的机器人三件套。

  38. GitHub · 灵魂体仓库27

    DraftLoop:本地优先的求职者简历定制工具(alpha 阶段)

    GitHub 上的 DraftLoop 是一款 alpha 阶段的本地优先简历工具,将求职者自有素材转化为针对具体职位的 CV,主张独立 AI 评审加最终人工控制。其默认跨厂商组合以 Anthropic 为作者、OpenAI 为评审,v0.8 alpha 桌面包提供 Windows x64 等 ZIP 下载并附 SHA256SUMS 校验,尚未签名的 CLI 仅提供源码。项目还在同一仓库内开发托管版客户端-服务器架构(ADR 0011),并支持可选的本地嵌入模型(默认 311m 档约 313 MB)。

  39. Reddit · r/LocalLLaMA32

    更新版通用 AGENTS.md:面向软件工程 Agent 的操作准则

    一位 r/LocalLLaMA 用户分享了更新版的全局 AGENTS.md,约占用 3K 上下文,用于纠正 LLM 的不良行为。该准则由通用 Agent 规则与早期输出风格组合而成,涵盖认知验证、先理解后动手、设计、构建、验证与文档沟通六大原则,供希望减少反复纠偏的用户作为起点使用。