Show HN 每日精选 (2025-06-19)
- Unregistry – 无需注册中心直接"docker push"到服务器
- Workout.cool – 开源健身教练平台
- 我用C++/CUDA从零构建了一个张量库
- Trieve CLI – 终端版LLM代理循环工具，支持PDF搜索
- Lstr – 用Rust编写的现代化交互式tree命令
- VSCode、Cursor和Windsurf中免费的AI代码本地安全检查
- Delve – 开源(AGPL)企业级数据分析平台
- ht-mcp – 面向代理的无头终端Rust MCP服务器
- AI辩论竞技场 – 看哪个大语言模型最会辩论
- 给终身Windows用户转投Mac的实用建议
- 简易百分比计算器
- WFGY – 无需重新训练即可修复LLM逻辑的推理引擎
- 带可视化知识图谱的交互式文献综述
- VerifyWise – 面向AI合规的开源治理平台
- Rulebook AI – AI编程IDE的规则与记忆管理器
- fzfm – 模糊查找文件管理器
- MediaCMS v6 – 带剪辑器和RBAC的开源视频平台
- Cpdown – 将网页/YouTube字幕转为纯净Markdown(适配LLM)
- 我为忙碌的初创公司创始人开发了社交媒体内容自动化工具
- 基于SMT的微型霍尔逻辑验证器
Unregistry – 无需注册中心直接"docker push"到服务器 [开发者工具]
42分, 8条评论
Unregistry允许直接向远程服务器推送Docker镜像而无需注册中心。
- 利用Docker内置的镜像存储，省去注册中心
- 新增
docker pussh命令通过SSH直接推送镜像 - 仅传输缺失的镜像层以提高效率
- 在远程主机使用临时容器并自动清理
- 属于Uncloud容器部署项目的组成部分
Workout.cool – 开源健身教练平台 [健康]
527分, 166条评论
完全重构的开源健身教练平台，功能改进且无版权问题。
- 100%开源，MIT许可证
- 包含1200+带视频演示和翻译的动作库
- 进度追踪功能
- 多语言支持
- 支持自托管
- 社区驱动开发
我用C++/CUDA从零构建了一个张量库 [开发者工具]
85分, 17条评论
轻量级C++/CUDA张量库，提供类似PyTorch的Python API，用于本地运行小型LLM。
- 从零编写的C++核心，支持CUDA加速
- 提供类似PyTorch的Python接口
- 支持在CUDA/CPU上运行真实模型（如HuggingFace的Qwen）
- 内置Python和C++的可观测性工具
- 计划支持BF16格式和GPU工作负载可视化
Trieve CLI – 终端版LLM代理循环工具，支持PDF搜索 [开发者工具]
25分, 9条评论
终端命令行工具，通过LLM代理实现PDF文档的迭代式搜索与检索。
- 采用LLM代理+搜索工具替代上下文窗口填充，提升知识检索效果
- 简单工作流：上传PDF后直接在终端查询
- 可定制RAG行为，响应中支持扩展引用来源
- 免费支持1000个文档块，源码发布于GitHub和npm
Lstr – 用Rust编写的现代化交互式tree命令 [开发者工具]
208分, 64条评论
具备Git集成和TUI功能的现代化交互式tree命令工具。
- 交互式终端界面：键盘导航、目录展开折叠、用默认编辑器打开文件
- Git状态集成：通过
-G参数显示文件/目录的Git状态 - Shell集成：将选中路径导出到stdout，支持
lcd等可视化目录导航函数 - 附加功能：支持文件类型图标(Nerd Fonts)、文件大小、权限显示，遵守
.gitignore
VSCode、Cursor和Windsurf中免费的AI代码本地安全检查 [开发者工具]
30分, 22条评论
Codacy Guardrails是免费IDE插件和CLI工具，实时扫描修复AI生成代码的安全质量问题。
- 支持VS Code、Cursor和Windsurf等AI编程助手
- 集成Semgrep、Trivy等开源静态分析器（2000+规则）
- 覆盖JavaScript/TypeScript、Python和Java
- 检测OWASP Top 10漏洞、硬编码密钥和风格违规
- 可定制项目专属规则
- 个人开发者免费，提供付费团队方案
Delve – 开源(AGPL)企业级数据分析平台 [开发者工具]
15分, 13条评论
基于Django和现代Web技术构建的开源企业级数据分析平台。
- 支持海量数据集的采集、搜索和报表生成
- 可通过Django应用灵活扩展
- 类Unix管道风格的Python脚本搜索语言
- Web界面支持表格、折线图和柱状图
- 技术栈：Django、DRF、webpack、JS和SCSS
ht-mcp – 面向代理的无头终端Rust MCP服务器 [开发者工具]
19分, 1条评论
通过模拟人类输入和状态管理，使AI编程工具能像人类一样操作终端。
- 封装无头终端(HT)，让AI工具使用交互式CLI程序
- 支持类人操作（如菜单导航、vim/emacs文本编辑）
- 相比TypeScript版本启动快40倍(~50ms)，内存占用低70%(~15MB)
- 单一3MB二进制文件，无外部依赖
- 提供Claude Code和Memex演示案例
- 支持Homebrew安装(
brew install ht-mcp)
AI辩论竞技场 – 看哪个大语言模型最会辩论 [娱乐]
3分, 1条评论
AI辩论平台：让大模型就争议话题展开正反方辩论，呈现平衡观点。
- 随机分配GPT-4o、Grok 3和Gemini 2.5 Flash担任正反方
- 用户可在辩论前后投票衡量说服效果
- 通过随机辩论表现检测模型偏见
- 计划优化论证结构、减少冗余并增加语音输出
- 面向愿意改变观点的求知型用户
给终身Windows用户转投Mac的实用建议 [消费科技]
4分, 1条评论
Windows用户转向MacOS的必备过渡指南。
- 浓缩Windows用户适应Mac的实用技巧
- 灵感来源于同类优质帖文
- 聚焦实际操作建议
简易百分比计算器 [生产力]
3分, 0条评论
快速计算百分比的小工具。
- 便捷的百分比运算
- 友好用户界面
WFGY – 无需重新训练即可修复LLM逻辑的推理引擎 [开发者工具]
9分, 5条评论
基于PDF语义协议的推理引擎，直接修正LLM逻辑错误。
- 修复投射崩溃、矛盾循环和模糊推理链
- 无需重新训练或系统调用——直接调整推理轨迹
- 推理成功率提升42.1%，语义对齐度提高22.4%，稳定性增强3.6倍
- 包含形式化理论、提示套件和可复现结果
- 零依赖，完全开源
带可视化知识图谱的交互式文献综述 [研究]
4分, 0条评论
利用AI将文献综述转化为交互式可视化知识图谱的工具。
- 上传研究论文(PDF)和网页资料(HTML)
- AI生成交互式知识图谱
- 可浏览概要或查看详细分源/分段摘要
- 展开图谱中特定兴趣节点
- 查看原始资料上下文
- 针对研究内容提问
- 预置LLM、扩散模型等主题的精选综述
VerifyWise – 面向AI合规的开源治理平台 [商业]
4分, 0条评论
面向合规审计、风险管理的开源AI治理平台。
- 提供审计就绪、风险登记和合规文档
- 集成Fairlearn的模型公平性检查
- 支持欧盟AI法案和ISO 42001流程，可导出审计追踪
- 包含AI素养培训登记功能
- 支持自托管和社区协作开发
- 开放Figma设计贡献
Rulebook AI – AI编程IDE的规则与记忆管理器 [开发者工具]
18分, 4条评论
面向编程IDE的AI规则与记忆管理系统。
- 管理AI编程的规则和记忆
- 专为IDE集成设计
fzfm – 模糊查找文件管理器 [开发者工具]
5分, 0条评论
将fzf转化为终端文件导航器的Bash工具，支持模糊搜索和预览。
- 目录导航与文件模糊搜索
- 用bat预览文件内容（默认回退到cat）
- 用eza预览目录结构（默认回退到ls）
- 在编辑器/查看器中打开文件（可配置）
- 通过环境变量轻松定制
MediaCMS v6 – 带剪辑器和RBAC的开源视频平台 [视频]
10分, 1条评论
支持视频剪辑和基于角色访问控制的开源视频平台。
- 开源视频解决方案
- 内置视频剪辑功能
- 支持基于角色的访问控制(RBAC)
Cpdown – 将网页/YouTube字幕转为纯净Markdown(适配LLM) [开发者工具]
13分, 3条评论
Chrome扩展：将网页内容或YouTube字幕转为带LLM令牌统计的纯净Markdown。
- 智能内容提取：过滤广告和侧边栏，聚焦主体内容
- 纯净Markdown转换：HTML转整洁Markdown
- LLM令牌统计：显示令牌数以适配大模型
- YouTube字幕抓取：带视频标题的完整字幕复制
- 可定制选项：提取器选择和代码块包装
- 免费开源：基于WXT、React和TypeScript构建
我为忙碌的初创公司创始人开发了社交媒体内容自动化工具 [市场营销]
7分, 5条评论
为初创公司创始人自动生成和排期社交媒体内容的工具。
- 自动生成30天图文内容日历
- 一次性设置品牌信息和目标
- 集成社交平台实现自动发布
- 旨在节省时间并保持内容一致性
- 专注早期项目的高质量内容获取
基于SMT的微型霍尔逻辑验证器 [开发者工具]
6分, 1条评论
采用SMT求解器的微型霍尔逻辑程序验证器。
- 运用霍尔逻辑进行程序验证
- 基于SMT(可满足性模理论)求解器
- 紧凑轻量级实现