项目精选。
BAMA 全称 Build Any Mac App，是一套面向 AI 编码智能体的技能集合，用于考察、克隆、设计、构建、优化和测试基于 Swift 与 SwiftUI 的原生 macOS 应用。仓库说明称其目标是让用户看到喜欢的应用后，用智能体把它重建为自己的原生 Mac 应用，使用本地数据、无需 Xcode 图形界面，要求 macOS 26+ 与 Swift 6.2，提供 21 项技能并可作为 Claude Code 插件使用。
这是一个 Android 应用项目，用于在手机上本地部署和管理 AstrBot 与 NapCat，内置 PRoot Ubuntu 运行环境，无需 Root。据仓库说明，它提供原生管理界面、WebUI、日志、备份恢复和独立更新，采用 Kotlin 与 Jetpack Compose 开发，项目标签涵盖 QQ 机器人、OneBot、LLM 等，要求 Android 8.0 及以上。
I built an engine that runs Qwen-Flash-Next at nearly 400t/s on cheap(ish) hardware. 3x V100 32GB in an old R740. Originally forked from strata but the engine guts all built for the old Volta generation.
这是一个 GitHub 项目（sFNX）的介绍，作者称在约 1,800 美元的二手 GPU 上（3 块约 600 美元的 Tesla V100-32GB，PCIe Gen3、无 NVLink）以 382 token/s 运行 Qwen3.8-Flash-Next 的代码编辑任务，同时服务 6 个各持完整 262,144 token 上下文的会话，并提供 OpenAI 聊天与响应、Anthropic 消息、工具与图像前端。README 说明其把每一层都切分到三块卡上以避免按层切分时的轮流等待，自行实现跨卡求和，并给出专家层、Gated DeltaNet 循环层和注意力 K/V 的切分方式。
这是 Qwen 团队在 GitHub 上开源的图像生成与编辑模型 Qwen-Image-2.1 的代码仓库。据 README，它是统一的文生图与图像编辑模型，视觉生成部分为 7B 参数、32 层单流 DiT，主打紧凑高效、原生透明（RGBA）图像的生成与编辑等功能。仓库页面提供 ModelScope、HuggingFace、博客和在线演示等入口链接。
Qwen 团队发布的一个用于评估 3D 创作视觉智能体的基准，全称为“Benchmarking Visual Agents for 3D Creation from Real-World References”。基准包含 9 个类别、22 个子类共 223 个任务，智能体根据任务简报和参考素材在 Blender 中交付可编辑工程文件及指定导出物，可用 bw evaluate 进行评估；仓库提供论文、Hugging Face 与 ModelScope 数据集链接。
一个 GitHub 仓库（Apache-2.0 许可），README 介绍 BabelArena：面向 LLM 智能体的多语言基准，从四个智能体基准家族中取 699 个标准任务、覆盖 13 个领域，各改编为 23 种语言，共 16,077 个任务实例；每个语言变体保留原任务身份和评估标准以便跨语言对比。变体由代理式工作流 BabelFlow 构建，经多层验证与人工审核后采纳。对五个前沿模型的评测显示，没有单一模型在四个家族上全面领先，低资源语言出现更多工具使用与控制流错误、相同任务下输入 token 可达英语的约两倍等。仓库附有 arXiv 论文链接（arXiv:2609.23490）。
model-cache-cleaner: Claude skill that finds and safely cleans storage used by local AI tools
一个 GitHub 项目，README 将其描述为 Claude skill：查找本机本地 AI 工具占用的存储，展示找到的全部内容，并且只把用户挑选并确认的项目移入废纸篓。它覆盖 ~/.cache/lm-studio、~/.cache/huggingface、~/.ollama、~/.omlx 等目录，支持 macOS 与 Linux，脚本要求 Python 3.8+。项目作者在帖文中提到 macOS 常把 .cache 隐藏为系统文件，因此做了这个工具，并表示欢迎 issue 和 PR。
Show HN: I Put an AI Agent on a Nokia 110
这是一个 GitHub 项目，作者对诺基亚 110 4G 功能机固件进行逆向工程，为其开发了原生 AI 聊天应用。用户用数字键盘输入，应用将消息发送至 DeepSeek 聊天 API 并根据工具调用执行查看电量、开关手电筒、拨打电话、设置闹钟等功能。作者说明因手机仅 48MB 内存无法安装 Android，最终改为将内置计算器应用改造为聊天界面；目前是一个从小型计算机载入内存后可在移动数据下脱机运行的原型。
Show HN: Deslop – Oxlint rules for AI-generated TypeScript
这是一个开源项目（npm 包名 ai-deslop），提供一组带倾向性的 Oxlint 规则，用于拒绝所谓低证据、低信号的 AI 生成代码模式，如不安全类型断言、重复代码和低价值测试。规则位于 deslop/* 命名空间，随推荐配置默认启用部分规则，面向使用 oxlint 的 TypeScript 开发者。
Show HN: SolidCraft – Open-Source Parametric CAD in Rust (With MCP Support)
一个用纯 Rust 编写的开源参数化 3D CAD 应用，支持草图、约束和带参数化特征时间轴的实体建模，改动尺寸后模型会重新构建。可在桌面端、浏览器中运行，并内置 MCP 服务器供 AI 智能体进行建模。README 提供 Windows、macOS、Linux 与 Snap 下载入口及网页版试用链接。
DishwasherBench – Can Frontier Models Stack a Dishwasher?
这是一个用于评测语言模型的 GitHub 项目：内置名为 Spotless 的洗碗机装载游戏，基于一台真实机器（Bosch SMV4HAX40G）的物理仿真，玩家在浏览器中按刚体物理装载 3D 物件，并按 Eco 50 程序模拟水流、污渍与洗涤剂作用，按洗干净的件数计分。项目强调装载结果确定可复现、每次对局都是可由他人重放验证的记录，人类通过浏览器游玩，模型通过 MCP 接口游玩。
AI-assisted proof of optimal packing for 11 squares
一个 GitHub 仓库，包含 11 个正方形装箱最优性证明的 Lean 形式化版本。据 README，完整证明已在 EvolvingPrograms 的验证运行中通过，涉及 7,920 个本地 Lean 模块，最终审计报告零处 admitted；部分精确数值证书检查使用 native_decide，几何、检查器可靠性与证明组装仍用普通 Lean 证明。最优边长由含八次方程根 u 的公式给出，数值约为 3.8770835900228141773，并附有验证报告与证书哈希记录文件。