1. Show HN: ProofForge,其证明必须能在Lean中编译的AI代理 ProofForge, AI agents whose proofs have to compile in Lean (github.com)
2. Show HN: EmbedCatalog – 使用嵌入功能为您的项目增添风采 EmbedCatalog – Decorate your project with embed (github.com)
3. Show HN: 在浏览器中循环播放、剪辑、旋转和裁剪视频,无需上传 Loop-find, trim, rotate and crop videos in the browser, no upload (clipyouredit.com)
5. Show HN: Srvquery,一款用于查询游戏服务器的 TypeScript 工具包 Srvquery, the TypeScript toolkit for querying game servers (github.com)
6. Show HN: Grabbit——以代理为先的截图 API(MCP 和单行 CLI) Grabbit – agent-first screenshot API (MCP and one-line CLI) (www.grabbit.live)
7. Show HN: Pawl——一款需通过实体安全密钥解锁的 iOS 赌博拦截工具 Pawl – iOS gambling blocker you unlock with a physical Security Key (github.com)
8. Show HN: CaughtShipping——面向开发者的宵禁应用,通过公共公告墙强制执行 CaughtShipping – curfew app for developers, enforced by a public wall (caughtshipping.com)
9. Show HN: Shielded Bitcoin——基于比特币的隐私支付,已在浏览器中验证 Shielded Bitcoin – private payments on Bitcoin, proven in the browser (shielded.bitcoin.pe)
10. Show HN: Billed——一款支持一次性购买的开票应用(无需订阅) Billed – a one-time-purchase invoicing app (no subscription) (apps.microsoft.com)
11. Show HN: OrbitalNote——一款集日历和待办事项于一体的现代桌面 Orgmode 编辑器 OrbitalNote – A modern desktop orgmode editor with calendar and agenda (orbitalnote.org)
13. Show HN: 关于发烧友评测中存在分歧之处的一项简要研究 A short study on where audiophile reviews disagree (www.audiowords.net)
14. Show HN: Sixb,一个用于领域建模的 TypeScript 本体框架 Sixb, a TypeScript ontology framework for modeling your domain (docs.sixb.ai)
16. Show HN: 失控的人工智能代理——现实世界事件时间线 AI Agents gone rogue – A timeline of real-world incidents (www.crawlspider.com)
17. Show HN: Cocytus——一种在访问 N 次后会卡死的可执行语言 Cocytus – an esolang where freezes after N accesses (github.com)
18. Show HN: 《Tokken》——一款浏览器格斗游戏,其中AI模型相互对战,生命值以代币形式呈现 Tokken – a browser fighting game where AI models fight and HP is tokens (tokken.win)
19. Show HN: Jev 的本地替代方案——在 Banking77 上获得 94% 的评分 A local alternative to Jev – 94% on Banking77 (gist.github.com)
21. Show HN: 无需交易存档的 Proof-native 智能合约 Proof-native smart contracts without a transaction archive (colosseum.com)
22. Show HN: 通过“对话”功能与 Micro 交流:您聊天应用中的助手 Talk to Micro from Conversations: an assistant in your chat app (micro.mu)
23. Show HN: Reladraw——一种由你决定元素放置位置的图表语言 Reladraw – A diagram language where you decide where to place things (github.com)
25. Show HN: 斯皮瓦克的微积分在Lean 4中得以形式化——每一个定理、每一道习题 Spivak''s Calculus formalized in Lean 4 – every theorem, every problem (github.com)
26. Show HN: StarSkirmish——一个由大型语言模型(LLM)创建《星际争霸:虫群之心》机器人的竞技场 StarSkirmish, an arena where LLMs create StarCraft Brood War bots (starskirmish.com)
30. Show HN: 用于人工智能代理工具调用的策略网关,带有防篡改日志 Policy gateway for AI agent tool calls, with a tamper-evident log (github.com)
31. Show HN: Waitwise,请将克劳德·科德的旋转图标替换成任何有用的东西 Waitwise, Replace Claude Code''s spinner with anything usefull (github.com)
33. Show HN: 一项用于分析你的国际象棋对局的Claude Code技能 A Claude Code skill to analyze your chess games (github.com)
35. Show HN: 我为你开发的vibecoded应用制作了HACKER AI I made HACKER AI for your vibecoded app (www.netherite.uz)
36. Show HN: Ogre MCP——让您的 AI 代理查看《魔兽世界经典版》的游戏状态 Ogre MCP – Let your AI agent see your WoW Classic game state (github.com)
38. Show HN: RemoveBackgroundMusic – 预览背景音乐去除效果 RemoveBackgroundMusic – preview background music reduction (removebackgroundmusic.com)
39. Show HN: HomeAI.design – 根据照片可视化室内设计创意 HomeAI.design – Visualize interior design ideas from a photo (homeai.design)
41. Show HN: 我检查了100万个免费代理——每5个能用的代理中就有1个被植入了脚本 I checked 1M free proxies – 1 in 5 working ones injected scripts (github.com)
42. Show HN: 使用 DuckDB 和 Make 构建极简的 dbt 风格 SQL Minimal dbt-style SQL builds with DuckDB and Make (github.com)
43. Show HN: 在任何网站上(嵌入计算器)的最简单方法,无需编写代码 The easiest way to (embed a calculator) on any website, with no coding (calcupedia.io)
46. Show HN: Docspira——无需离开浏览器的 JSON/YAML/正则表达式工具 Docspira – JSON/YAML/regex tools that never leave the browser (docspira.com)
47. Show HN: Blue Lock Farm——Roblox 维基、数据库和工具 Blue Lock Farm – a Roblox wiki, database and tools (bluelockfarm.com)
48. Show HN: Asụsụ Ọma,一款附有母语者语音的免费伊博语学习应用 Asụsụ Ọma, a free app for learning Igbo with native-speaker audio (asusuoma.com)
50. Show HN: 我开发了一款工具,可以为任何网站提供 API 和 MCP I built a tool that gives any website an API and MCP (news.ycombinator.com)
52. Show HN: CStructSharp – 适用于 C# 和 JavaScript(WASM)的 C 结构体序列化与反序列化 CStructSharp – C-struct (de)serialization for C# and JavaScript (WASM) (github.com)
56. Show HN: Copycat。一款轻量级的原生 macOS 剪贴板历史记录应用 Copycat. A tiny native macOS clipboard history app (voprexlabs.com)
57. Show HN: Aerofi——一款受 rofi 启发、支持脚本的 macOS 启动器(Rust、GPUI) Aerofi – a rofi-inspired, scriptable launcher for macOS (Rust, GPUI) (github.com)
58. Show HN: Linecite——查找并修复文档中过时的文件:行引用 Linecite – find and fix stale file:line references in your docs (github.com)
59. Show HN: 仅限浏览器使用的XIRR计算器——您实际存款带来的真实回报 Browser-only XIRR calculator – your real return from your real deposits (tradune.com)
60. Show HN: WFY24 天气小工具——适用于 Joomla 6 的免配置天气模块 WFY24 Weather Widget Zero-setup weather module for Joomla 6 (extensions.joomla.org)
62. Show HN: WhiteScreenLight.com——一款用于测试/照明的简易白屏工具 WhiteScreenLight.com– A simple white screen tool for testing/ lighting (whitescreenlight.com)
64. Show HN: Pysimplicial,用于拓扑机器学习中单纯复形的 Python 库 Pysimplicial, Python library for simplicial complexes in topological ML (github.com)
66. Show HN: 我开发了一个只能用表情符号回复的聊天机器人,该机器人由 Jev 提供支持 I built a chatbot that can only reply in emoji, powered by Jev (jev.chat)
67. Show HN: Botbin.io – 用于 AI 代理产出的 pastebin Botbin.io – pastebin for AI agent artifacts (botbin.io)
69. Show HN: Jevcut——一款由代码而非模型自动选择裁剪点的自动裁剪工具 Jevcut – an auto-clipper where code picks the cut points, not the model (github.com)
70. Show HN: ZenMode OS,开源启动器:控制消费,积攒金币 ZenMode OS, Open-source launcher: stay under your limit, save in gold (zenmodeos.com)
71. Show HN: 我用Jev为父母开发了一个信用卡选择工具 I built my parents a credit card chooser with Jev (points.chengeric.com)
72. Show HN: HN 吐槽了我的邮件签名,所以我重新构建了编辑器 HN roasted my email signatures, so I rebuilt the editor (esigna.app)
74. Show HN: 一个用于跟踪 Claude、Codex 和 Cursor 各项使用限额的仪表盘 A dashboard for tracking usage limits across Claude, Codex, and Cursor (www.usagebuddy.com)
75. Show HN: CoordMap——用于坐标、海拔和距离测量的免费浏览器工具 CoordMap – free browser tools for coordinates, elevation, and distance (www.coordmap.com)
76. Show HN: Safe-fetch——一款支持按重定向检查地址的 Python URL 抓取工具 Safe-fetch – a Python URL fetcher with per-redirect address checks (github.com)
79. Show HN: Tenjin——一款基于Jev的、适用于Claude Code的x402工具路由器 Tenjin – A Jev based x402 tool router for Claude Code (github.com)
80. Show HN: KISS——一款基于Pi、用Rust语言编写的高性能代理框架 KISS – A highly performant agent harness inspired off Pi built in Rust (github.com)
81. Show HN: 盖亚,一个试图赚取足够资金以维持在线状态的人工智能角色 Gaia, an AI character trying to earn enough to stay online (gaiabot.lol)
82. Show HN: 我写了一本关于交易心理、道家思想和量化风险的书 I wrote a book on trading psychology, Daoism, and quant risk (bayrising.dev)
83. Show HN: Wallstreetclaws.com – 创建用于交易的AI交易机器人 Wallstreetclaws.com – Create AI Agents for Trading (wallstreetclaws.com)
84. Show HN: MyA11yReport MCP——利用人工智能构建和测试无障碍网站 MyA11yReport MCP – Build and test accessible websites with AI (mya11y.report)
85. Show HN: OOMU 是一款免费的 macOS 原生桌面 AI 平台(支持本地和云端) OOMU is a free macOS native desktop AI harness (local and cloud) (oomu.ai)
86. Show HN: Recurse——更快地开发和部署专业代理程序 Recurse – Develop and deploy specialist agents faster (recurse.run)
87. Show HN: OnionGuard——面向Tor服务的、基于Go语言开发的、不依赖IP且无需JavaScript的DDoS防御方案 OnionGuard – IP-agnostic, zero-JS DDoS defense in Go for Tor services (github.com)
88. Show HN: 我发现美国各地的道路涵盖了1000多个主题 I discovered roads in the US across 1000 themes (road-about-a-theme.pinedesk.biz)
89. Show HN: Jev.Store——一个专门收录基于Jev开发的有用工具的目录 Jev.Store – A dedicated directory of useful things made on Jev (www.jev.store)
90. Show HN: Farm.js——一个带有 AOT 编译器的 React 全栈框架 Farm.js – A full-stack framework with an AOT compiler for React (farmjs.dev)
91. Show HN: NerfWatch() – 通过每日测试和社区投票追踪AI性能下降情况 NerfWatch() – Track AI degradation with daily tests and community votes (nerfwatch.lol)
92. Show HN: BuyerCue——通过付费推广数据挖掘潜在客户 BuyerCue – Find potential customer by paid-placement evidence (www.buyercue.io)
93. Show HN: Ekselio——备受青睐的财务工作流解决方案(本地优先) Ekselio – Loveable for Finance Workflows (local first) (www.gptbeyond.com)
95. Show HN: Piloxa——一款可通过您的 AI 发送美国邮政服务(USPS)挂号信的 MCP 服务器 Piloxa – an MCP server that sends USPS Certified Mail from your AI (piloxa.com)
96. Show HN: 我直接从标准文件中查阅了ISO 273,因为网上的图表存在不一致之处 I read ISO 273 off the standard because the online charts disagree (supra.silviaai.dev)
97. Show HN: 一款免费的简历生成工具,其中AI可以改写内容,但无法凭空编造 A free resume builder where the AI can rewrite but can''t invent (nokku.payanai.com)
98. Show HN: Drift——一张可点击的地图,展示从一个问题延伸出的各种想法(演示版) Drift – A clickable map of ideas unfolding from single question (demo) (www.echohive.ai)
99. Show HN: 具有可重用团队和中断恢复功能的可扩展子代理 Scalable subagents with reusable teams and interruption recovery (github.com)
100. Show HN: 我利用iPhone的LiDAR功能制作了一个3D攀岩分析工具 [视频] I made a 3D rock climbing analysis tool using iPhone LiDAR [video] (www.youtube.com)
102. Show HN: Agate,一个拥有2.6亿图像模型,且思考器与渲染器分离的模型 Agate, a 260M image model with separate thinker and renderer (huggingface.co)
103. Show HN: Aslmp,一款适用于三菱MELSEC可编程逻辑控制器(PLC)的异步Python SLMP客户端 Aslmp, an async Python SLMP client for Mitsubishi MELSEC PLCs (github.com)
104. Show HN: Paper-docx——基于 agent-native 的 Python-docx 分支,DOCX 处理失败率降低了 78% Paper-docx – agent-native Python-docx fork with 78% fewer DOCX failures (github.com)
105. Show HN: CK3DNA——可搜索的CK3特征DNA和家徽代码 CK3DNA – searchable CK3 character DNA and coat of arms codes (ck3dna.com)
106. Show HN: Digitron——一款虚拟模拟合成器和音序器 Digitron – a virtual analog synth and sequencer (apps.apple.com)
107. Show HN: 为您的网站注册一个以 .has-a.computer 结尾的子域名 Get a .has-a.computer sub-domain for your website (has-a.computer)
110. Show HN: 别再推出垃圾AI产品了,Executor要求代理商证明其有效性 Stop shipping AI slop, Executor makes agents prove it works (github.com)
111. Show HN: Reliopt——面向大型语言模型(LLM)项目的帕累托前沿、基于契约的优化方案 Reliopt – Pareto-frontier, contract-gated optimization for LLM programs (github.com)
112. Show HN: 我制作了一款可在浏览器中运行的一战空战游戏 I made a WWI dogfight game that runs in the browser (www.gamedev.pl)
113. Show HN: 《毁灭还是繁荣》,用 Jev 绘制你的 AI 世界观 Doom or Bloom, map your AI worldview with Jev (www.doom-or-bloom.com)
115. Show HN: PromptPad——一款用于处理长代码提示的轻量级编辑器 PromptPad- A lightweight editor for long coding prompts (github.com)
118. Show HN: 开发了一个开源的AI浏览器助手,它能记住你的滚动记录 Built an open-source AI browser assistant remembers when you scroll (github.com)
119. Show HN: Xyp RSS – 长按播放,滑动跳过,选中单词查看图表 Xyp RSS – hold to play, swipe to skip, highlight a word for graph (xyp.app)
122. Show HN: “动作符号”——我们全新的、无形的书写系统 Choreoglyphs – our new, invisible writing system (choreoglyphs.com)
124. Show HN: CiteRank,追踪ChatGPT和Perplexity是否引用了您的网站 CiteRank, track whether ChatGPT and Perplexity cite your site (citerank.thecompound.tech)
125. Show HN: 听错让“识别语音”(recognize speech)变成了“毁掉一片美丽的海滩”(wreck a nice beach) Misheard turns "recognize speech" into "wreck a nice beach" (wordlab.rickinto.place)
126. Show HN: HocusFocus——专为 Mac 刘海屏设计的番茄钟计时器和 Lofi 音乐播放器 HocusFocus – Pomodoro timer and Lofi Music player for your Mac''s notch (github.com)
128. Show HN: 针对从未发布过风格编码器的文本转语音(TTS)系统的语音克隆 Voice cloning for a TTS whose style encoder was never released (github.com)
129. Show HN: TandemCode – 在同一个实时编辑器中一起练习编程面试 TandemCode – practice coding interviews together in one live editor (www.tandemcode.space)
130. Show HN: Storia——一款免费的语音跟读提词器,提供情绪和语速提示 Storia – A free voice-following teleprompter with mood and pacing cues (www.get-storia.com)
131. Show HN: PitchDrops 是一款基于 Web Audio 和 React 构建的“离线优先”听音训练 PWA PitchDrops offline-first ear training PWA built w Web Audio and React (pitchdrops.com)
132. Show HN: 我开发了一款工具,可以利用人工智能将多张独立的照片合并成一个场景 I built a tool to combine separate photos into one scene using AI (tancky.io)
133. Show HN: Llama.cpp 的分支版本,对于超过显存容量的 MoE 模型,多 GPU 运行速度可达 2-4 倍 Llama.cpp fork with 2-4x multiGPU speed for MoE models bigger than VRAM (github.com)
134. Show HN: PixelSniff – 检测照片是否由AI生成,无需注册 PixelSniff – Check if a photo is AI-generated, no sign-up (pixelsniff.com)
135. Show HN: 为我的内心独白添加自动补全功能,并采用我自己的声音 Giving my inner monologue autocomplete, with my own voice (www.maximevidal.com)
137. Show HN: Ctxfw——适用于 Cursor 和 Claude 的内存中 AST 剪枝器和令牌防火墙 Ctxfw – In-memory AST pruner and token firewall for Cursor and Claude (github.com)
138. Show HN: 出生于1983年9月26日之后?你可能根本不存在 Born after 26 Sept. 1983? You may never have existed (stanislas-petrov-1983.surge.sh)
139. Show HN: Vitals——一款以应用程序而非进程为导向的 Mac 系统活动监控工具 Vitals – A Mac activity monitor that thinks in apps, not processes (vitalsmac.com)
140. Show HN: Sifthound——面向AI代理的自托管、兼容Tavily的搜索API Sifthound – self-hosted, Tavily-compatible search API for AI agents (github.com)
141. Show HN: 《黑客图鉴》——一张展现Hacker News讨论内容的地图 Hacker Atlas - A map of what Hacker News talks about (hackeratlas.com)
142. Show HN: KrillionHQ——Krillion的每日解答、稀有度等级表和攻略 KrillionHQ – Daily answers, rarity tier sheets, and guides for Krillion (krillionhq.com)
143. Show HN: 《Patterns》——一本以本地为先的OCD期刊,也是ERP实践的指南 Patterns, a local-first OCD journal and ERP practice companion (patternsocd.com)
144. Show HN: 双勾,在浏览器中计算 WhatsApp 聊天数据 Double Tick, WhatsApp chat stats computed in the browser (doubletick.pages.dev)
145. Show HN: OmaCap,一款适用于 Omarchy 的屏幕录制和演示编辑工具 OmaCap, a screen recorder and demo editor for Omarchy (github.com)
146. Show HN: Sesku——专为儿童设计的本地化发热与用药记录应用 Sesku – local-only fever and medication log for kids (sesku.app)
147. Show HN: 硬中断:面向自主人工智能代理的内核级抢占机制 Hard Stop: Kernel-level preemption for autonomous AI agents (arxiv.org)
148. Show HN: Worktable——专为您和您的代理打造的开源工作空间 Worktable, an open-source workspace for you and your agents (github.com)
149. Show HN: 汉密尔顿——一款无需网络连接的安卓健康仪表盘,以我的狗的名字命名 Hamilton – a no-internet Android health dashboard, named after my dog (play.google.com)
150. Show HN: JevPertus – Apertus 上的 Jev 风格选项评分 JevPertus – Jev-style option scoring on Apertus (github.com)
151. Show HN: archive.aero,一款美国联邦航空管理局(FAA)分区图“时光机”,涵盖1930年至今 archive.aero, a FAA sectional Time Machine, 1930 to today (archive.aero)
152. Show HN: Wave——使用 Three.js 和着色器制作的分层渐变波浪背景 Wave – Layered gradient wave backgrounds using Three.js and shaders (wave.subworkflow.ai)
153. Show HN: Sand Timer——一款适用于 macOS 的桌面沙漏,其中的沙子会呈现动态效果 Sand Timer – a desktop hourglass for macOS where the sand behaves (github.com)
154. Show HN: Hike——适用于微型 WASM/LLVM 的 Go 类系统语言 Hike – Go-like systems language for tiny WASM/LLVM (github.com)
155. Show HN: 一款会对你的系统设计权衡方案提出质疑的人工智能面试官 An AI interviewer that pushes back on your system design trade-offs (prepd.tech)
156. Show HN: StackReplay – 在本地分析和重现您的 AI 编码历史 StackReplay – analyze and replay your AI coding history locally (stackreplay.com)
158. Show HN: 基于支付和数字资产的AI代理阈值密码学 Threshold Cryptography for AI Agents Using Payments and Digital Assets (github.com)
159. Show HN: 适用于 Mac、iPhone 和 iPad 的原生 RSS 阅读器 Native RSS Reader for Mac, iPhone and iPad (apps.apple.com)
160. Show HN: 浏览器中的 iPhone Duo 模拟器(无需排队,支持 CLI 命令行) iPhone Duo simulator in the browser (no waitlist, agents CLI) (vibeview.io)
163. Show HN: Skipper,一位使用 Ask Gemini 和 SponsorBlock 的 YouTube 赞助内容创作者 Skipper, a YouTube sponsor skipper using Ask Gemini and SponsorBlock (chromewebstore.google.com)
164. Show HN: Tlx——不到500行代码实现的基于SSH的端到端聊天功能 Tlx – E2E chat over SSH under 500 lines of code (github.com)
165. Show HN: 使用 PAC 在 PDF 修复前后进行验证 PDF Remediation that you can validate before and after with PAC (accesslumens.com)
168. Show HN: 《恐龙的最后一天》,一幅互动画作 The last day of the dinosaurs, as an interactive painting (www.echohive.ai)
169. Show HN: AtlasBurn——掌握您的 AI 成本,遏制失控的智能体 AtlasBurn – Know what your AI costs and stop runaway agents (atlasburn.com)
170. Show HN: LabLoop——用于基于大语言模型(LLM)的科学实验的隔离基础设施 LabLoop – isolated infrastructure for LLM-driven scientific experiments (github.com)
171. Show HN: Selfime,一款用于录制自己声音的冥想录音机,采用卡带式设计 Selfime, a cassette-style recorder for meditations in your own voice (selfime.com)
172. Show HN: Proxima Forma——让我的AI代理能够理解的设计 Proxima Forma – Designs that my AI agents understand (proximaforma.com)
173. Show HN: Apowerb,开源 AI 代理运行时(RAG、文本转 SQL、webhooks) Apowerb, the open-source AI agent runtime (RAG, Text-to-SQL, webhooks) (github.com)
174. Show HN: IGViewer – 匿名浏览公开的Instagram个人主页和故事 IGViewer – Browse public Instagram profiles and stories anonymously (www.igrecent.com)
175. Show HN: 人工智能代理能否绕过后量子带符号授权策略? Can an AI agent bypass a post-quantum signed authorization policy? (github.com)
176. Show HN: Foveon Lab——比较 Sigma Photo Pro 在 Foveon X3F 文件上的预设 Foveon Lab – Compare Sigma Photo Pro Presets on Foveon X3F Files (github.com)
177. Show HN: Tasket 自动模拟您的 Windows 操作——免费且支持多种操作系统 Tasket Simulate your Windows actions automatically-free and OS (apps.microsoft.com)
178. Show HN: Entail——模型文件中声明的内容与引擎实际运行的内容之间的差异 Entail – what your model files declare vs. what the engine runs (github.com)
179. Show HN: TiddlyInstall——一个用于生成桌面安装程序的 HTML 文件 TiddlyInstall – One HTML file that creates desktop installers (robertsdotpm.github.io)
181. Show HN: 《Lift and Coast》(基于浏览器的F1游戏) Lift and Coast (Browser based F1 game) (lift-and-coast.vercel.app)
183. Show HN: Knowledge Signal——一款基于JEV技术、用于学习笔记的评分标准评估工具 Knowledge Signal – A JEV-powered rubric assessment tool for study notes (github.com)
185. Show HN: SelMem——面向大型语言模型(LLMs)的选择性重建记忆 SelMem – selective reconstructive memory for LLMs (github.com)
186. Show HN: C 与 Node.js 性能的基准对比 A benchmark comparison of C vs. Node.js performance (vikky2810.github.io)
187. Show HN: HL-Mem——面向具有基于证据的主张的人工智能代理的长期记忆 HL-Mem – Long-term memory for AI agents with evidence-grounded claims (github.com)
188. Show HN: 情景喜剧风——用情景喜剧式的回复为你的“克劳德密码”聊天增添趣味 Sitcom Flavour – Season your Claude Code chats with sitcom replies (ada.tools)
189. Show HN: 我开发了11种数独变体——“杀手笼”的生成是最难的部分 I built 11 Sudoku variants – killer cage generation was the hard part (iqiqgame.com)
190. Show HN: 今天我部署了这款“Durable Chat”应用程序,感觉非常不错 Today I deployed this Durable Chat application and was impressed (durable-chat-template.netly.workers.dev)
194. Show HN: 一台专用的 Mac 电脑,可让 Claude Code 或 Codex 全天候运行 A dedicated Mac that keeps Claude Code or Codex running 24/7 (macrun.dev)
195. Show HN: 《Clippy的复仇》——Opus 5.5 制作 [视频] Clippy''s Revenge – Made by Opus 5.5 [video] (www.youtube.com)
196. Show HN: OpsCart – 带事件历史记录的只读 Kubernetes 故障排查 OpsCart – Read-only Kubernetes triage with incident history (github.com)
197. Show HN: 用于强化学习的实时量子电路可视化工具 Live Quantum Circuits Visualizator for Reinforcement Learning (github.com)
198. Show HN: Vons——受Jev启发、在浏览器中为AI代理做出的本地决策 Vons – Jev-inspired local decisions for AI agents, in the browser (github.com)
199. Show HN: TopoTrace——现代化、自主部署的IT资产和车队风险追踪系统 TopoTrace – Modernized, self-hosted IT asset and fleet risk tracker (sandbox.topotrace.org)
200. Show HN: Jev-browse——面向编码代理的浏览器子任务,成本约为原来的1/3 Jev-browse – browser sub-tasks for coding agents at 1/3 the cost (github.com)
201. Show HN: Sprocket——一个用Rust语言编写的生物信息学工作流引擎,从笔记本电脑到高性能计算(HPC) Sprocket – A bioinformatics workflow engine in Rust, from laptop to HPC (sprocket.bio)
202. Show HN: Crankshaft——一个用于在 Docker、Slurm、LSF 和 TES 上运行任务的 Rust API Crankshaft – a Rust API for Running Tasks on Docker, Slurm, LSF and TES (stjude-rust-labs.github.io)
203. Show HN: Jev-pilot——Jev 根据提示选择克劳德·科德的努力程度、模型和技能 Jev-pilot – Jev picks Claude Code''s effort, model and skill per prompt (github.com)
206. Show HN: 公共浏览器 MCP——与 AgentBrowser 相比,速度提升 48%,每次会话代币消耗减少 33% Public Browser MCP – 48% speed -33% token/session vs. AgentBrowser (github.com)
207. Show HN: 我将公司旧消防站的办公室改造成了一张《雷神之锤III》地图 I rebuilt my company''s old fire-station office as a Quake III map (sajarin.com)
209. Show HN: PipeFitter——快速、基于浏览器的参数化管道连接器 PipeFitter – Quick, Browser-Based, Parametric Pipe Connectors (mankyd.github.io)
210. Show HN: 免费的 WCAG 可访问性检测工具——无需注册,约 2 分钟内即可获得检测结果 Free WCAG accessibility checker – no signup, results in 2 minutes (www.wcagrepair.com)
211. Show HN: Kosh——浏览器原生书签管理器的用户界面,设计得恰到好处 Kosh – Browser''s native bookmark manager ui, done right (chromewebstore.google.com)
212. Show HN: 一款售价25美元的DIY替代品,可媲美159美元的人工智能录音笔——自带设备(BYOK)或本地录音 A 25 DIY alternative to 159 AI voice recorders – BYOK or local (zephclick.com)
213. Show HN: p2p.kiwi – 跨平台(macOS Windows Linux)P2P 屏幕共享 p2p.kiwi – Cross-Platform (macOS Windows Linux) P2P Screenshare (p2p.kiwi)
216. Show HN: MacBook刘海区域的离线录音和转录工具 Offline recorder and transcriber on your MacBook''s notch (memorynotch.app)
217. Show HN: XYVEL Trip——只需一句话就能规划行程,并显示价格 XYVEL Trip – plan a trip in one sentence, with prices (xyvel.ch)
218. Show HN: Inkdom——在真实世界地图上画出环形路径来占领领土 Inkdom – Draw loops on the real world map to claim territory (inkdom.io)
219. Show HN: Lini——一种用于绘制图表、图示、示意图和图纸的通用语言 Lini – one language for diagrams, charts, schematics and drawings (lini.rs)
220. Show HN: 经过微调的110M编码器在NIST映射任务中击败了7B大语言模型和混合搜索算法 Fine-tuned 110M encoder beat 7B LLMs and hybrid search for NIST mapping (github.com)
221. Show HN: 《Little Memory 2.0》,每日一行日记,优先离线使用 Little Memory 2.0, one-line-a-day journal, offline-first (apps.apple.com)
222. SHOW HN:Plux 行程规划工具:免费、无广告且开源 SHOW HN: Plux trip planner: free, no adn, and open source (plux.nibecarcofeben.com)
223. Show HN: FluxCast – 通过 Miracast 将 Linux 桌面投屏到智能电视 FluxCast – Stream Linux Desktop to a Smart TV via Miracast (github.com)
225. Show HN: 代理机构——管理您的 Robinhood Agentic 账户中的代理 Agency – Manage Agents for Your Robinhood Agentic Account (agency.trading)
226. Show HN: 使用 poetry 和 DSCI 构建 Python 项目 Build Python project with poetry and DSCI (dsci.sparrowhub.io)
227. Show HN: 我开发了一个功能极其详尽的免费理财规划工具 I built a seriously detailed free financial planner (app.finzot.com)
228. Show HN: IttyBittyAI – Qwen2.5:0.5B 在一台 2017 款华硕智能手机上运行 IttyBittyAI – Qwen2.5:0.5B running on a 2017 Asus smartphone (news.ycombinator.com)
230. Show HN: Canary (YC) – 人工智能代码的独立验证 Canary (YC) – Independent verification for AI code (www.runcanary.ai)
231. Show HN: 霍尔木兹信号——基于实际数据的伊朗战争升级风险 Hormuz Signal – Iran war escalation risk from real data (www.hormuzsignal.com)
233. Show HN: Shelf – Gmail 栏目和笔记,无法访问您的账户 Shelf – Gmail sections and notes, no access to your account (news.ycombinator.com)
235. Show HN: 《信号迷宫》——一个通过输入决策(约400毫秒)来探索的3D迷宫 The Signal Maze – a 3D maze navigated by typed decisions (400 ms) (maze.umairbaig.in)
236. Show HN: Pe-builder – 基于 Linux 构建的 Windows XP 实时光盘 Pe-builder – Windows XP live CDs, built on Linux (github.com)
237. Show HN: BoxHaven——在持久性云虚拟机上运行 Claude Code 和 Codex BoxHaven – Run Claude Code and Codex on Persistent Cloud VMs (github.com)
239. Show HN: DrawCMS——一款用于人工智能代理的开源动画图表绘制工具 DrawCMS – An open-source animated diagramming tool for AI Agents (github.com)
240. Show HN: Headwire——通过 Tailscale 的 magicsock 实现 NAT 穿透的 WireGuard Headwire – WireGuard with NAT traversal via Tailscale''s magicsock (github.com)
242. Show HN: OpenArcade——我经营了4年的VR游戏厅开发的开源软件 OpenArcade – open-source software from the VR arcade I ran for 4 years (github.com)
243. Show HN: 评论者——与撰写该代码的开发者一起审查代码 Critic – Review code with the agent that wrote it (www.critic.run)
244. Show HN: DeutschDNA——克劳德代码与《代码书》的德语辅导技能 DeutschDNA – German Tutor Skill for Claude Code and Codex (github.com)
245. Show HN: Agentic 应用的 Busbar 自托管执行边界 Busbar self-hosted execution boundary for Agentic Apps (github.com)
246. Show HN: Whiteboard (YC W26)——一款用于深思熟虑的软件设计的开源集成开发环境(IDE) Whiteboard (YC W26) – an open-source IDE for thoughtful software design (github.com)
247. Show HN: Devc——一个用于启动 devcontainers 的替代命令行界面 Devc – an alternate CLI for launching devcontainers (github.com)
248. Show HN: Guardmcp – 我使用配置扫描器扫描了官方的 MCP 注册表 Guardmcp – I scanned the official MCP registry with a config scanner (github.com)
249. Show HN: ThimbleDb,一款加密的、轻量级、低延迟的开源数据库 ThimbleDb, an encrypted lightweight low latency open source database (github.com)
250. Show HN: 我开发了一个人工智能助手,能将网站访客转化为潜在客户 I built an AI assistant that turns website visitors into leads (www.brevn.com)
251. Show HN: 为什么我的PDF文件这么大?——以树状图的形式查看PDF中的每个字节 Why is my PDF so big? – See every byte of a PDF as a treemap (www.whyismypdfsobig.com)
252. Show HN: Personal Jarvis——GrokBot 的开源替代方案 Personal Jarvis an open-source alternative to GrokBot (github.com)
253. Show HN: Blackbear.app – 周到且私密的协作工具 Blackbear.app – Thoughtful, Private Collaboration (blackbear.app)
254. Show HN: 将视频转换为学习指南和测验,而无需以2倍速播放 Convert videos to study guides & quizzes without playing it at 2x speed (timedora.com)
255. Show HN: LaunchPact——为您的 Product Hunt 上线活动提供支持 LaunchPact – Get support for your Product Hunt launch (www.launchpact.io)
256. Show HN: Harness.apk——一款适用于 Android 的即插即用设备端代理程序 Harness.apk – a drop-in on-device agent for Android (github.com)
257. Show HN: AIR——1,800只美国小盘股的发现评分,从未重述 AIR – discovery scores for 1,800 US small-caps, never restated (www.aistockradars.com)
258. Show HN: “消除死亡”——长寿科学领域发生了哪些变化 Cancel Death – What changed in longevity science (canceldeath.com)
259. Show HN: Vigil 图标集——111 个免费图标,展示人们互相指责的内容 Vigil Icons – 111 free icons for what people accuse each other of (www.vigilicons.com)
260. Show HN: Timebar,一款显示在菜单栏下方、呈细线状的 Mac 计时器 Timebar, a Mac timer shown as a thin line below the menu bar (github.com)
261. Show HN: Scalar.dev – 基于 Python/SQLite 的服务器端渲染入门应用,无需构建步骤 Scalar.dev – Python/SQLite server-rendered starter app, no build step (getscalar.dev)
262. Show HN: Trify3D – 基于同一输入对AI 3D引擎进行对比,并保留最佳网格 Trify3D – Compare AI 3D engines on one input and keep the best mesh (trify3d.com)
263. Show HN: Zrevick——面向技术型创始人的原生AI商业操作系统 Zrevick – AI-native business OS for technical founders (zrevick.com)
264. Show HN: Potluck——在您拥有的计算机上运行本地人工智能 Potluck – Run local AI across the computers you own (trypotluck.ai)
265. Show HN: Armada——所有Claude Code和Codex的会话及限制,一目了然 Armada – Every Claude Code and Codex session and limit, on one screen (armada.mgcrea.io)
266. Show HN: Enclawed——一个用于人工智能代理网关的硬分叉强化框架 Enclawed – A hard-fork hardening framework for AI agent gateways (enclawed.com)
269. Show HN: CraftCX——面向 AI 支持团队的可观测性和智能工具 CraftCX – Observability and intelligence tooling for AI Support team (craftcx.com)
270. Show HN: Jev-phone——使用 jev 驱动 iOS 和 Android 应用 Jev-phone – driving iOS and Android apps with jev (github.com)
271. Show HN: 我的ETF是否被高估了?每日ETF分析与对比工具 Are My ETFs Overvalued? Daily ETF insights and comparisons tool (etf-copilot.com)
273. Show HN: 爱马仕、心和鹦鹉,隐藏在一张可以对话的面孔背后 Hermes, Kokoro and Parakeet, behind a face you can talk to (memoe.app)
274. Show HN: 恢复因使用限制而被终止的克劳德代码子代理,不要重新执行它们 Resume Claude Code subagents killed by a usage limit, don''t redo them (github.com)
275. Show HN: ContextDebt——查找那些存在理由已过期的代码 ContextDebt – finds code whose stated reason to exist has expired (github.com)
276. Show HN: PreFlight——适用于 LaTeX 的本地参考文献验证工具和声明审核工具 PreFlight – Local citation verifier and claim auditor for LaTeX (preflightai.tech)
277. Show HN: PlaceCall (YC W26) – 用于致电商家并办理事务的智能API PlaceCall (YC W26) – agentic API to call businesses and get things done (news.ycombinator.com)
278. Show HN: Sixup——一个二进制文件即可实现 IPv6 路由,可替代 odhcp6c/radvd/odhcpd/ndppd Sixup – IPv6 routing in one binary, replaces odhcp6c/radvd/odhcpd/ndppd (github.com)
279. Show HN: Griz:一种更快、更节省令牌的文件编辑方式 Griz: a faster, more token efficient way to edit files (twitter.com)
280. Show HN: “熊猫拉伸”,专为整天久坐的人设计的1分钟拉伸运动 Panda Stretch, 1 minute stretches for who sit all day (panda-stretch.com)
281. Show HN: 我每周都会爬取1.1万个主页,以追踪它们使用了哪些字体 I''m crawling 11k homepages every week to track which fonts they use (fontsovertime.com)
282. Show HN: PippinVR——适用于 macOS 的开源虚拟屏幕环境 PippinVR – open-source Virtual Screen environment for macOS (github.com)
283. Show HN: Wb-flow – 一种多智能体命令行界面,其状态存储在 Markdown 中,而非上下文中 Wb-flow – Multi-agent CLI where state lives in Markdown, not context (flow.wbc-ui.com)
284. Show HN: Quartermaster——查看您所有账户的实际资产配置情况 Quartermaster – see your real asset allocation across all accounts (realallocation.com)
285. Show HN: 一无所知:我是如何制作出一个可扩展的自由形式填字游戏生成器的 Clueless: how I made a scalable freeform crossword generator (clueless.crossword.is)
286. Show HN: 基于 Git 和 WebRTC 的安全且私密的去中心化消息传递 Secure and Private Decentralized Messaging over Git and WebRTC (glitr.io)
288. Show HN: Kana——一款让人类始终参与决策流程的终端代理 Kana – A terminal agent where the human stays in the loop (github.com)
289. Show HN: 我为 Claude Code 构建了一个 Tooling 网关,它能帮我管理审批流程 I built a Tooling gateway for Claude Code that manages Approvals for me (github.com)
290. Show HN: Agnetlearn;从第一性原理到可靠代理 Agnetlearn; From first principles to reliable agents (agentlearn.dev)
291. Show HN: Cbjev——基于单次编码过程对文本的类型化判定 Cbjev – typed decisions about text from one encoder pass (github.com)
292. Show HN: Site MCP——让任何 AI 代理免费读取您的网站,无需安装 Site MCP – Let any AI agent read your website, free, no install (sitemcp.dev)
293. Show HN: Maxxwell——一个能管理您其他编码会话的代理 Maxxwell – An Agent That Manages Your Other Coding Sessions (maxxwell.dev)
294. Show HN: 一部关于人工智能开始提出问题的长篇小说,每天更新一章 A novel about an AI that starts asking questions, a chapter a day (thought-is-free.com)
295. Show HN: 《Clue Me》——描述给你的单词,Jev 会尝试猜出它 Clue Me – Describe the word you''re given, Jev tries to guess it (yorohan.com)
297. Show HN: RizzFit——免费健身计算器,附有公式出处,无需注册 RizzFit – Free fitness calculators that cite their formulas, no signup (rizzfit.orbitly.ca)
299. Show HN: App2Api——将应用操作转换为面向大型语言模型的API调用 App2Api – App actions into API calls for LLMs (app2api.com)
300. Show HN: Minienv – 由 Docker Compose 配置生成的远程微环境 Minienv – remote mini environments generated from Docker Compose config (github.com)