英语不好的程序员爸爸为小学生做了个英语 App「爱开口英语」，已上架 App Store、安卓与鸿蒙
一位英语不好的程序员爸爸为孩子做了英语 App「爱开口英语」，今年 7 月开始开发，10 月在 App Store 和国内几家安卓商店上架，后又推出鸿蒙版。App 分单词、视频、口语三块：按课本版本和单元学单词并用记忆曲线复习，手机标准发音报听写、拍照后 AI 标出错词进错题本，原声视频点字幕查词与逐句跟读，还可与三个 AI 角色语音对话逐句纠正。
主题：AI 编码工具
主题：AI 编码工具
今日 42 条V2EX 最新主题AI 评分3232 Reddit r/SideProjectAI 评分1818 Certloom：让数值计算结果可离线独立验证误差界
开发者推出 Certloom，把方程、答案与证明见证打包，让数值结果可被他人独立验证。新稀疏示例基于 NIST FiPy 扩散求解，含 400 个未知数和 1,920 个系数，支持最多 4,096 个未知数和 32,768 个非零系数，可在浏览器用精确算术检查，并下载证明 ZIP 用 Python 标准库验证，无需 FiPy、SciPy 或原求解器。
中国独立开发者项目列表 更新AI 评分2222 中国独立开发者项目列表新增 LayerGrab：AI 图片转图层工具
中国独立开发者项目列表于 2026 年 10 月 18 日新增 stimQQ 的 LayerGrab，一款把单张图片拆成可编辑命名图层并补全被遮挡背景的 AI 工具，可导出 PNG/PSD，也能只提取指定元素。它提供 Figma 插件和 Chrome 扩展，网页为英文界面，每个账号可免费试用一次。
Reddit r/SideProjectAI 评分5050 开发者发布 Odin 调试搜索引擎，可定位到具体文件和函数
开发者发布 Odin，一个读取 bug 报告并定位到需要修改的具体文件（93%）和具体函数（79.4%）的调试搜索引擎。
V2EX 最新主题AI 评分2525 试玩 OzilAi：把自拍照片生成厄齐尔单刀进球视频的 AI 工具
OzilAi 能把一张正脸照片生成厄齐尔 2016 年欧冠单刀进球视频，衣服和体型随 15 秒动作一起重建，并自带原版解说与球场欢呼。可选 10 秒 / 15 秒、9:16 或 16:9、720P 或 2K，几分钟出片。采用积分制，720P 10 秒扣 10 积分、15 秒扣 15 积分，一次性积分包 $9.99 起且不自动续费，生成失败或超时自动退积分。
V2EX 最新主题AI 评分88 V2EX 开发者用 AI 做了个背单词应用，求试用反馈
一位开发者在 V2EX 发帖，称最近沉迷 AI 写东西，借此做了一个背单词应用，邀请大家试用并提建议。帖子未披露应用名称、价格或技术细节。
Hacker News Show HNAI 评分3434 Sphinx：在推送 AI 生成代码前用 Git hook 考你代码行为的开源工具
Sphinx 是一个免费开源的 Git hook，在 AI 代理生成的代码推送前，就 diff 内容向你提问，答错会解释原因并换场景再问，答对才放行。
dev.to · SaaSAI 评分4040 AIHotelLobby.win 付费 AI 视频任务全流程拆解：从上传到 MP4 之间发生了什么
AIHotelLobby.win 拆解了一个付费 AI 视频任务的完整生命周期：上传校验、登录草稿保留、报价与积分冻结、异步渲染、数据过期删除。5/10/15 秒分别定价 30/50/70 积分，报价与模型版本绑定到任务，积分在视频成功存储后才扣款、确认失败才释放。模型为 Kling 3.0 Omni（经 KIE 调用），渲染约 3 到 7.5 分钟，成品视频保留 7 天、下载链接 5 分钟有效。
Hacker News Show HNAI 评分4242 Show HN：MIKE 用 gVisor 沙箱隔离 AI 代理，让开发者扮演技术负责人
MIKE 是一个 LLM harness，通过 gVisor 提供强沙箱隔离，并用 iframe sandbox / wazero 安全支持自定义扩展。它兼容 llama.cpp 及支持 OpenAI Chat Completions API 的推理服务商，还提供针对弱网优化的 Progressive Web App。官方提示 API 与扩展接口在 1.0 版本前不保证稳定。
V2EX 最新主题AI 评分2020 用 vibe coding 做了个 AI 生图前的图片预处理小工具，免费免注册
一位开发者用 vibe coding 做了个免费、免注册的小工具，用于在 AI 生图前按平台要求处理上传图片，解决文件大小、尺寸、比例或格式不符导致传不上去的问题。目前支持 GPT Image、Nano Banana、Qwen Image、Seedream 等部分模型，后续会慢慢补充。
Reddit r/SideProjectAI 评分5252 Drexius Terminal 发布 v0.1.0-beta.1：本地优先的开源 SSH/SFTP 工作区，对标 Termius
Drexius Terminal 发布 v0.1.0-beta.1 公测版，这是一个用 Tauri 2、Rust、React 19 和 xterm.js 6 构建的本地优先开源 SSH/SFTP 工作区，定位为 Termius 替代品。
V2EX 最新主题AI 评分1212 V2EX 讨论：有了 AI，是不是自己也能做个适合自己习惯的浏览器？
V2EX 上有用户提问：现在有了 AI，是不是自己也可以做一个适合自己习惯的浏览器。帖子正文未展开具体方案、工具或成本细节，仅呈现这一设问本身。
Hacker News Show HNAI 评分2222 Env-tabs：在 Claude Desktop 的 Code 标签页固定常用项目
独立开发者发布 Claude Desktop 插件 env-tabs，在 Code 标签页侧边新增 Projects 面板，把常用项目固定在顶部，并在输入框上方为每个固定项目生成标签页。
V2EX 最新主题AI 评分2020 独立开发者做了一款算力模拟器：拖四个滑杆推演 AI 算力、能耗与成本曲线
独立开发者上线免费算力效率模拟沙盒，拖动能源供给、芯片效率、并行度、数据质量四个滑杆，即可实时查看吞吐、能耗、成本三条曲线，并自动诊断瓶颈所在层级。工具无需注册即可使用，登录后可存档方案、把多组参数放在一起对比，另提供 10 套皮肤。作者公开征集反馈，希望验证该场景是否有用、参数模型哪里不真实。
Reddit r/webdevAI 评分2222 Reddit 开发者用单个 HTML 文件做出仓储拍卖游戏 Unit 112
Reddit 用户 MDawg74 发布浏览器游戏 Unit 112，玩家用手电筒从门口看一眼仓储单元后与常客竞价，赢下的物品需在租金到期前从自己的店铺卖出。
BetaListAI 评分3131 Retailgrid：面向中型零售商的表格式 AI 定价代理
Retailgrid 把 AI 代理放进表格，让中型零售商在熟悉的 Grid 里做定价：导入销售、成本、库存和竞品价格后，用自然语言提问，代理按利润影响排序给出调价建议并附推理，人工批准后每条规则可审计。功能覆盖规则定价、价格优化、价格弹性、降价清仓、区域定价、竞品价格监控和销售预测，产品托管在欧盟并符合 GDPR。
BetaListAI 评分4040 Takibi Base：面向 AI agent 的共享知识库
Takibi Base 是面向 AI agent 的共享知识库，由一名人类操作者把文档整理进项目和文件夹，并用 Profiles 控制访问权限。agent 可通过 CLI、只读 MCP connector 或 API 检索带引用的原文段落和证据支持分数，Takibi 本身不生成答案。
Reddit r/SideProjectAI 评分1818 一款 Beta 工具：把读到的内容变成笔记，并构建论点图与笔记关联
一位开发者在 Reddit r/SideProject 发布 Beta 工具，可高亮任意阅读内容并附上自己的想法，再对想法进行分析，提示生成论点图或进一步展开。作者正征集测试者帮忙继续开发，未公布名称、价格或可用性细节。
Reddit r/webdevAI 评分2222 用浏览器本地 AI 重建 10 年前的临床 NLP 项目 NoteCoder
开发者用浏览器本地 AI 重建了 10 年前的临床 NLP 项目 NoteCoder，由字典先提出 ICD-10 候选编码，再由小型本地模型对照完整病历核查诊断及其限定词。公开版本是静态站点，用 WebAssembly 和浏览器 worker 完成候选发现与推理，病历文本不上传用于模型处理，代价是首次约 2 GB 的模型下载。演示免费且属实验性质，未经过临床验证，也不是计费软件。
Hacker News Show HNAI 评分2727 HardwareOS：把一句提示词变成可接线、可烧录的硬件项目
HardwareOS 在 Hacker News 的 Show HN 发布，可将一句产品想法转成包含零件、接线、固件和上手工路径的硬件构建方案。平台已索引 4,000+ 开发板、20,000+ 零件和 3,000+ 接线方案，示例为 DOIT ESP32 DevKit V1 通过 I2C 连接 BME280。
V2EX 最新主题AI 评分1818 独立开发者做 Zombie AI Trend 视频生成工具，探讨一次性付费是否优于订阅
独立开发者正在开发 Zombie AI Trend，把 TikTok、Reels 上流行的 Zombie Trend 短视频玩法做成无需研究提示词、简化生成参数的在线工具。他提出这类热点垂直工具可能用户只用一次、同类产品易涌现，想验证简单生成流程能否带来可持续付费转化。他还询问应优先扩展更多视频模板，还是先把单个模板的生成质量和转化率做好。
Reddit r/SideProjectAI 评分3434 一位开发者做了个免费 AI 资源追踪站，汇总免费 API、GPU 额度和学生优惠
一位开发者因受够搜索免费 AI API、GPU 额度和学生优惠时总遇到过期信息，自己建了一个站点集中收录免费 AI 工具、API、额度和模型，并标注各自限制与最后核查日期。站内还提供查找免费 LLM API 和计算速率限制的小工具，无需注册、没有付费墙。
Hacker News Show HNAI 评分2020 Ayafy：免费 AI 古兰经背诵与复习 App 登陆 iOS 和 Android
Ayafy 是一款免费、AI 驱动的古兰经学习与背诵 App，已在 App Store 和 Google Play 上线，可实时逐词识别背诵错误。它提供按 surah（114）、juz（30）或页（604）追踪背诵进度、设定每日 ayah 目标与连续打卡，并支持 15 行 Madani 版式阅读和英文逐行翻译。所有功能免费，需用 Google 或 Apple 账号登录以同步进度。
Hacker News Show HNAI 评分2222 Show HN：把梭罗《瓦尔登湖》做成带 AI 向导的 3D 浏览器游戏
有人在 Hacker News 的 Show HN 发布了一款 3D 浏览器游戏，把梭罗的《瓦尔登湖》改编成可探索场景，并配有一个 AI 向导。该帖获得 3 分、0 条评论。
Hacker News Show HNAI 评分2222 Show HN：KIRA——面向 Windows 的主权级本地优先 AI 与媒体工作站
KIRA 是一款面向 Windows 的本地优先 AI 与媒体工作站，主打“主权级”数据自主。该产品以 Show HN 形式发布，目前在 Hacker News 获得 2 分、暂无评论。
Hacker News Show HNAI 评分3838 Show HN：为 iPhone Duo 设计 iOS 应用的 Agent Skill 工具包
独立项目 belweave 发布了一套面向 iPhone Duo 的 iOS 应用设计 Agent Skill 与工具包，覆盖外屏与内屏的尺寸类、可调整布局、折叠避让区、分栏视图与游戏适配。
Hacker News Show HNAI 评分2929 Show HN：在浏览器内用 DA3 Small 把照片转成 Gaussian Splat
一位开发者在 Hacker News 的 Show HN 发布工具，可在浏览器内用 DA3 Small 将照片转换为 Gaussian Splat。该帖获得 4 分、暂无评论。
Reddit r/EntrepreneurRideAlongAI 评分3838 我把「从不发布应用」的习惯做成了一个产品：Claude Code 插件 launchpad
一位开发者把自己用 Claude 构建却从不发布的应用，做成了 Claude Code 插件 launchpad：在项目里运行一条命令，它识别技术栈并在用户自己的账号里用免费额度配好托管、域名、CI/CD、支付与付费墙、用户分析、崩溃报告和 TestFlight 等发布事项，耗时约一小时。
Reddit r/SideProjectAI 评分2323 17 岁开发者做了个不给答案的 AI 数学辅导工具 theoremed.com
17 岁开发者推出 AI 数学辅导工具 theoremed.com，用户输入或拍照上传带解题过程的题目，它会定位出错的那一行并只针对该处提一个问题。提示需主动索取才会逐步放大，但始终不给最终答案，即使搬出"老师说可以"也不例外。首页可直接免费试用，无需注册账号。
Reddit r/webdevAI 评分2222 用类型化答案决策模型做 LLM 评审：200 条标注金标准集与逐项一致率
一个 Next.js + Postgres + Drizzle 应用用类型化答案决策模型充当 LLM 评审，并配 200 条标注金标准集检验逐项一致率。
Vercel NewsAI 评分3434 Vercel AI Gateway 日志新增 Sessions 视图，展示会话亲和性路由
Vercel AI Gateway 日志新增 Sessions 视图，把请求按会话分组并展示会话亲和性如何路由每一次请求。每行显示运行该会话的编码 agent 或应用（如 Claude Code、Codex、Cursor）及其成本、模型、提供商和输入缓存比例，点开可看缓存命中率、时长与逐轮路径。
Hacker News Ask HNAI 评分1212 独立开发者征求对 Monetario AI 的意见：用本地数据展示宏观经济事件对个人投资组合的影响
一名大学生独立开发者正在开发 Monetario AI（getmonetario.com），用于展示宏观经济事件如何影响用户的个性化投资组合与持仓。该应用将所有数据保存在本地，并提供简化解释，帮助用户做出更明智的决策。开发者强调它目前定位为教育类金融应用，不提供投资建议，并公开征求反馈与注册试用。
Reddit r/SideProjectAI 评分2020 Bachground Video Composer 1.0 发布：独立团队称其为最好的视频转音乐工具
独立团队发布 Bachground Video Composer 1.0，称其是目前市面上最好的视频转音乐工具。该版本强调更好的音乐、对素材更准确的理解以及对配乐的完全控制。团队邀请用户自行试用并反馈意见。
Hacker News Show HNAI 评分4747 InBox Wall：为 AI 助手清洗邮件 HTML 的开源本地工具
InBox Wall 是一个本地优先的开源 Python 应用，在 AI 助手处理邮件前清除隐藏文本、不可见 Unicode 字符和已知提示注入模式。它通过 IMAP 只读拉取邮件，将安全文本存入本地 SQLite 数据库，并通过本地 REST API 和 MCP server 提供给 AI 工具，被拦截内容隔离在独立 vault 数据库。
BetaListAI 评分2626 Foreman：用 AI 在一处管理报价、团队、工时表与发票
Foreman 把报价、排期、工时表和发票整合到一个平台，可先用 AI 根据现场记录生成分项报价，再安排上门、跟踪团队并自动发送发票和催款提醒。Org Watch 在后台监控工作、上门和发票并标记需要处理的事项。它支持 Xero、QuickBooks、Google Calendar 和 Gmail 集成，所有套餐均不限团队成员数。
Reddit r/SaaSAI 评分88 Reddit 用户分享其首个 AI 安全项目进展并寻求反馈
Reddit 用户 Stock_Atmosphere667 休假后回归，公布了自己做的 AI 安全项目，称这是其首个也可能是最后一个此类项目。项目当前状态与后续内容已在其个人简介的链接中说明，他公开征求评价，无论对方是资深从业者还是对 AI 好奇的人。
Hacker News Show HNAI 评分4343 GoRoute：Go 编写的超轻量 LLM 网关，内存占用低于 15MB
GoRoute 是一款用 Go 编写的超轻量 LLM 网关与多供应商路由工具，面向编码 Agent，内存占用低于 15MB，延迟低于 10ms。它内置 25+ 供应商预设，支持通过 `goroute auth login` 完成交互式 PKCE OAuth 登录、用 `goroute auth list` 查看已连接账户，并可从 OmniRoute 导入全部账户与密钥。项目采用 MIT 许可证。
Hacker News Show HNAI 评分2222 Bitty：把 AI 编码等待时间变成脑力小游戏，免费下载、Premium 每年 $39.99
Bitty 是一款桌面像素小助手，在 Claude Code、Cursor、ChatGPT 等 AI 工具等待时提供 5 秒到 5 分钟的脑力小游戏，按 Esc 即可回到工作。
Hacker News Show HNAI 评分4242 Show HN：TezGrid 让闲置电脑和 Mac 承接 AI 推理请求
TezGrid 让应用把普通聊天请求发到闲置的 Windows、Linux 或 Mac 电脑上跑模型，硬件所有者保留 99.8% 收入，平台抽 0.2%。开发者只需把客户端指向 api.tezgrid.com/v1，原有 OpenAI 代码和流式输出不变。小模型 Qwen 2.5 1.5B 的规划价约 $0.005/百万 token，早期发布期所有模型按统一费率计费。
Reddit r/SideProjectAI 评分3838 独立开发者发布 Nightcrew：合上笔记本盖子也能让 Claude Code 继续跑
独立开发者推出免费开源的 Windows 托盘应用 Nightcrew，在 Claude Code 或 Codex 执行任务时保持合盖不休眠，任务结束后自动恢复原电源设置，无需配置 hooks。该应用仅支持 Windows 10 和 11，提供 1.7 MB 单文件 exe（MIT 协议），尚未代码签名，每个版本附带 SHA-256、GitHub 构建证明和 VirusTotal 报告。