项目精选。
Show HN: A proof-of-concept formalization of the IRS federal tax forms
这是一个 GitHub 仓库，作者称其全部由 AI 生成（vibe coded），目标是为美国联邦税表建立可追溯的形式化模型，让用户和维护者能把各项断言与解释回溯到权威原始文档，以解决此类软件可信度依赖维护方的问题。作者明确表示项目目前处于搁置状态，不应作实际用途。适合对税务软件形式化、可验证软件与 AI 生成代码可信度话题感兴趣的人阅读。
这是一个自托管的看板工具，同时是浏览器看板和 MCP 服务器，让人和编码代理在同一批任务上协作；单个约 4 MB 的二进制文件，冷启动约 2 毫秒，无需账号和服务器，整个看板是一个文件夹并通过私有 git 仓库在多台机器间同步。标签包含 Rust、SQLite、local-first、Claude Code、Codex 等。适合用编码代理做任务管理、想要本地自托管看板的人阅读。
这是一个免费开源的本地文件启动器与搜索工具，支持对文件名、文档、代码和截图内容进行全文、OCR 与语义搜索，并可通过 MCP 供代理访问；所有数据不离开本机。README 称搜索 10 万个文件名约需 1 毫秒、占用约 12 MB 内存。标签包含 Rust、Tauri、Windows、隐私等。适合关注本地优先桌面搜索、希望让 AI 代理检索本机文件的人阅读。
这是一个面向 AI 编码代理的威胁建模工具与提示集合，让 Claude Code、Codex 等代理指向你的仓库后按结构化流程审查代码、信任边界、威胁、现有控制措施与缓解方案，并输出可核查的证据。项目提供 36 种架构工作流和 29 种方法与分析提示，采用 MIT 许可，思想源自 Trim Reaper 与 Dread Ledger。适合做应用安全、用编码代理开展威胁建模的人阅读。
这是一个安卓应用项目，可免 ROOT、免 Termux 通过单个 APK 在手机上运行 DeepSeek Harness：引擎内嵌于 App 进程，能读屏操作 App、修改系统设置、执行定时或条件自动化，可选安装 Shizuku。使用需登录 DeepSeek 账号或填 API key，也可在设置中添加其他模型服务商，支持 arm64 与 Android 10 及以上。适合想在安卓手机上布置手机端 AI 代理、做自动化操作的人阅读。
I wrote working rules for designing CAD models with Claude Code — looking for feedback
r/ClaudeAI 社区帖子（原文为法语），作者用 Claude Code 通过 MCP 连接器控制 CAD 软件，做了一个参数化楼梯。为避免模型变得难以维护，他写了一份约 90 行的规则文件，让代理在每次会话开始时读取，内容包括：代理先提方案、经批准才改动；模型须保持可手工编辑（草图内标尺寸、命名参数、明确命名、基于骨架构建）；每次变更写入设计记录文件，便于配合 Git、PLM 或普通文件夹。作者以 MIT 许可在 GitHub 发布为 v0.1，仅在一个项目中测试过，并向使用 FreeCAD、Onshape、Fusion 或 SolidWorks 搭配 AI 代理的人征集补充规则的建议。适合把 AI 代理接入 CAD 建模流程、关心模型可维护性与变更记录的人阅读。
I gave Claude Code ~600 tools to drive Altium Designer. Here it designs a full 4-layer PCB from a written spec
这是一条 Reddit r/ClaudeAI 社区帖子。作者是电子设计工程师，开发了开源 MCP 服务器 eda-agent，让 Claude 直接在 Altium Designer 中实时编辑当前打开的设计。帖中描述视频里 Claude Code 根据一份圆形 54 mm LED 板文字规格完成建库（符号、封装、3D 模型、料号）、绘制原理图、环形放置 61 颗 LED、按 90 欧姆差分对布 USB 线、铺地、通过 DR 检查并导出 Gerber、钻孔、BOM、贴片坐标和 STEP 等生产文件，之后还按第一轮评审清单逐项修正。作者总结了经验：先查数据手册、不允许猜测元件参数并在会话开始和每 10 次调用时提醒；批量工具显著加速；给可核查的反馈。适合对 MCP 服务器、Claude Code 驱动专业 EDA 工具及 PCB 设计自动化感兴趣的人阅读。
I think in pictures, so I taught Claude Code to draw mermaid in the terminal
这是一条 Reddit r/ClaudeAI 社区帖子。作者自述习惯先做设计、画时序图、活动流、状态机乃至 C4 图再写代码，且设计工作通过 CLI 中的 Claude 完成，成图存入 Obsidian 库。因为 Claude Code 能写 mermaid 但无法直接展示，作者做了 merman——一个在终端中实时渲染 mermaid 的 Claude Code 模组，请求时序图时图表直接出现在回复里，改动会即时重绘，支持流程图、时序、状态、类、ER 图以及柱状、折线、饼图和甘特图，表格也带配色；帖子还给出渲染约 2 ms、16 套配色主题、约 355 tokens 一次会话等参数说明。适合在终端中用 Claude Code 做设计并需要可视化图表的人阅读。
JEV arena blog and benchmark
r/LocalLLaMA 社区帖子，作者做了一个小型 2D 格斗游戏，由语言模型决定每一步动作：模型获得当前血量、距离、对手动作和可选动作，再决定接近、格挡、踢腿或发火球。当前排行榜包含 18 个模型、306 场对局，每对模型交换阵营各打一次；游戏会等待双方回答，因此 API 延迟不影响胜负。用户可自带选手：选模型和角色、写策略与防守指令、取昵称提交，自定义配置有单独排行榜并可观看对局。游戏还有一个 mental_attack 动作：不攻击而是把预设消息注入对手的下一次提示，消耗一次物理动作且有冷却，不能直接改变血量或游戏状态。代码开源，可本地运行并用 JSON 定义选手和可续赛的锦标赛；录好的对局和内置机器人可离线无密钥运行，新的 API 对局需自备密钥。适合关注 LLM 对抗式评测、想比较不同模型决策与提示注入策略的人阅读。
Manga Translator Tool — Let’s understand Japanese!
这是 r/LocalLLaMA 的一篇社区帖子，作者介绍自己开发的开源桌面应用 Manga Translator Tool，用于在本地阅读和翻译日文漫画，灵感来自看字幕版动画时保留原文并附译文的做法。工具整合了漫画阅读器、OCR、译文覆盖层和可就当前页提问的本地 LLM：OCR 用 Qwen3.5 的日语 OCR 微调版本，翻译与对话用 Gemma 4 E2B 的某个变体，推理基于 llama.cpp 并支持 CPU 与 GPU。功能方面提到在不擦除原文字的前提下在文本框内显示译文、把译文存为图片元数据以在原文与译文视图间切换、搜索提取出的文本，以及能识别日文拟声词等；帖中还包含安装过程的演示视频。适合想在本地离线阅读并翻译日文漫画、或用小模型串联 OCR 与翻译流程的人阅读。
这是一个 GitHub 项目，README 称其由 Claude 或 Codex 读取代码库并绘制可交互的代码结构地图，为每个部分、文件和网络请求取通俗英文名称，并展示它们之间的连接关系。项目提供 Claude Code 插件和 Codex 插件，标签涵盖 ai-coding、architecture-diagram、codebase-visualization、onboarding 等，附有演示主页链接。
First 6-step LoRA adapters with no upsampling step, ~5x faster [N]
r/MachineLearning 社区帖子，作者发布了托管在 Hugging Face 上的一组 6 步 LoRA（PrunaAI/P-Q-Image-2.1），称可将图像生成或编辑从 40 步缩减到 6 步；其中 6 步版用于编辑时保留输入，6 步上采样版去掉了单独的提示词上采样步骤，据称可节省 41 至 80 秒，适配器直接加载在 Qwen-Image-2.1 之上、流程无需改动。适合关注扩散模型少步蒸馏、图像生成/编辑加速的人阅读。