Show HN 每日精选 (2025-04-01)
- GuMCP – 开源MCP服务器，免费托管
- Neuronpedia，一个开源的AI可解释性平台
- 将TypeScript作为直觉命题逻辑的证明助手
- WhatsApp MCP服务器
- 百万美元主页回归，但有个新花样
- AI驱动的阅读伴侣，助你啃下难懂书籍
- 支持macOS/Windows/Linux的Rust原生OCR库
- MCP Neovim服务器——Neovim的微型AI文本助手
- 更快的C++：重访C/C++/CUDA/Asm/PTX性能优化技巧
- AnuDB——基于RocksDB的实验性C++文档存储
- 我用Morphik构建了开源的NotebookLM替代品
- 我开发了隐私优先的经期追踪器但似乎无人问津
- GhydraMCP——跨多二进制文件的智能逆向工程
- S3缓存服务
- 仅163字节的JavaScript发布订阅系统
- Auto-Browse——只需一行代码就能编写自动化测试的AI工具
- 假碎屏模拟器
- 受R/place启发的多人协作游戏（100%氛围编程）
- 我做了个能通过邮箱推测你爱好的网站
- Neo146——为土耳其（及全球）抗议者打造的抗审查HTTP-SMS网关
GuMCP – 开源MCP服务器，免费托管 [开发者工具]
50分，6条评论
开源MCP服务器免费托管服务，提供跨平台标准化集成方案。
- 统一管理所有MCP服务器的mono项目，避免代码库分散
- 免费托管降低技术门槛，鼓励随意实验
- 非技术人员也能一键集成
- 每日更新扩展各类应用集成支持
Neuronpedia，一个开源的AI可解释性平台 [开发者工具]
3分，0条评论
开源AI可解释性平台，提供探索和引导AI模型的工具。
- 提供机制可解释性API工具集
- 支持分享和探索AI模型内部机制
- 包含4TB可解释性数据集
- 完全开源并附技术博客说明
将TypeScript作为直觉命题逻辑的证明助手 [开发者工具]
8分，0条评论
使用TypeScript构建直觉命题逻辑的证明辅助系统。
- 利用TypeScript进行形式化验证
- 专注直觉命题逻辑领域
- 支持证明构建与验证流程
WhatsApp MCP服务器 [聊天机器人]
202分，124条评论
开源自托管WhatsApp MCP服务器，通过WhatsApp Web API连接账户并集成LLM，支持本地消息存储。
- 使用WhatsApp Web多设备API（通过whatsmeow），无第三方依赖
- SQLite本地存储消息，完全掌控隐私
- 支持消息、联系人及群组搜索
- 允许通过LLM工具发送WhatsApp消息
- 为AI智能体提供WhatsApp上下文执行任务
百万美元主页回归，但有个新花样 [电子商务]
3分，0条评论
百万美元主页携全新创意重磅回归。
- 经典百万美元主页的现代复兴
- 加入独特创新设计（具体未透露）
- 提供互动探索体验
AI驱动的阅读伴侣，助你啃下难懂书籍 [教育]
15分，9条评论
AI驱动的阅读辅助工具，专门帮助用户理解艰深书籍。
- 解析复杂文本提升理解效率
- 运用AI技术简化阐释内容
- 专为晦涩难懂材料设计
支持macOS/Windows/Linux的Rust原生OCR库 [开发者工具]
3分，0条评论
跨平台Rust OCR库，支持macOS、Windows和Linux系统。
- 全平台OCR功能支持
- 原生性能无外部依赖
- 兼容三大操作系统
MCP Neovim服务器——Neovim的微型AI文本助手 [开发者工具]
5分，1条评论
MCP Neovim服务器将Claude等AI模型接入Neovim，提供轻量级文本辅助。
- 采用模型上下文协议(MCP)和Neovim NodeJS客户端
- 深度结合Vim原生编辑能力
- 支持编程及通用文本处理
- GitHub开放反馈与贡献
更快的C++：重访C/C++/CUDA/Asm/PTX性能优化技巧 [开发者工具]
5分，0条评论
探索C++/CUDA/Asm/PTX性能优化的代码库，涵盖SIMD、GPU张量核心、元编程和低延迟网络。
- 研究协程、SIMD指令集和AVX-512/SVE矢量化优化
- 对比CPU与GPU张量核心吞吐量及编程复杂度
- 基准测试标量正弦近似算法（比标准库快40倍）和元编程（CTRE对比正则表达式）
- 分析io_uring与POSIX套接字的低延迟网络性能
- 包含Rust/Python移植版本及CppCon演讲参考
AnuDB——基于RocksDB的实验性C++文档存储 [开发者工具]
4分，1条评论
基于RocksDB的实验性C++文档存储，面向嵌入式系统和物联网场景。
- 依托RocksDB实现高效高吞吐工作负载
- 提供JSON格式CRUD操作API
- 强制索引保障文档检索效率
- 专为嵌入式Linux平台设计
- GitHub开源代码库可用
我用Morphik构建了开源的NotebookLM替代品 [研究]
16分，1条评论
基于Morphik构建的开源NotebookLM替代方案，用于分析研究论文和私有文档。
- 从研究论文和私人文档提取洞察
- 不同模型的基准测试对比
- 完全免费开源
- 集成Morphik UI组件
- 支持期刊等私有文档分析
我开发了隐私优先的经期追踪器但似乎无人问津 [健康]
7分，3条评论
完全隐私优先的免费经期追踪应用，所有数据仅存于设备，无广告无追踪无隐藏收费。
- 数据永不离开设备，无云同步无账户体系
- 零广告、零追踪、零第三方数据共享
- 随时可导出或彻底删除数据
- 密码锁和隐私模式双重保护
- 完全免费无隐藏消费
- 为抗议剥削性健康应用而开发
GhydraMCP——跨多二进制文件的智能逆向工程 [开发者工具]
3分，0条评论
扩展Ghidra逆向工程能力，支持在单会话中对多个二进制文件进行智能分析。
- 支持同时打开多个Ghidra文件分析
- 改进的REST风格HTTP交互接口
- 计划支持局部变量重命名功能
- 作为原GhidraMCP插件扩展开发
S3缓存服务 [开发者工具]
7分，7条评论
为S3存储提供缓存加速服务。
- 增强S3存储访问性能
- 通过缓存降低访问延迟
- 轻松对接现有S3基础设施
仅163字节的JavaScript发布订阅系统 [开发者工具]
7分，3条评论
极致轻量的JavaScript发布订阅实现，仅163字节。
- 超轻量级设计
- 基础发布/订阅功能
- 极小代码体积
Auto-Browse——只需一行代码就能编写自动化测试的AI工具 [开发者工具]
3分，4条评论
Auto-Browse是AI驱动的测试自动化工具，通过自然语言描述即可生成BDD测试代码。
- 自动解析自然语言生成测试步骤，无需手动编写定义
- 兼容Cucumber和Playwright等BDD框架
- 极大缩短测试自动化准备时间
- 示例：直接执行"当用户在用户名字段输入'admin'"等测试指令
- 提供NPM安装包，支持TypeScript集成
假碎屏模拟器 [娱乐]
4分，1条评论
模拟手机碎屏效果的整蛊工具。
- 支持多种碎屏效果模拟
- 轻松用于恶作剧或演示场景
- 不会对设备造成实际损伤
受R/place启发的多人协作游戏（100%氛围编程） [娱乐]
3分，0条评论
受R/place启发的多人像素艺术共创游戏。
- 灵感来源于经典R/place
- 实时多人协作功能
- 共同创作像素画布
- 完全氛围驱动开发
我做了个能通过邮箱推测你爱好的网站 [生活助手]
4分，5条评论
通过OSINT技术根据邮箱地址分析用户兴趣爱好的网站。
- 运用开源情报(OSINT)分析网络足迹
- 从电子邮箱推断用户兴趣爱好
- 展示OSINT对个人数据的洞察力
Neo146——为土耳其（及全球）抗议者打造的抗审查HTTP-SMS网关 [消费科技]
5分，0条评论
Neo146是为土耳其（及全球）抗议者设计的抗审查HTTP-SMS通信通道。
- 通过HTTP协议收发短信
- 专门对抗网络审查
- 支持土耳其等多地抗议活动