OMEGA PROOF ARENA：面向数学奥赛的无限题目生成平台
OMEGA PROOF ARENA 是一款桌面端数学奥赛题目生成平台，不依赖固定题库，而是通过随机文法与约束求解引擎实时合成题目，每个数学领域可生成 22,000+ 种基础配置，每种再经参数扰动分为 7 个难度层级。
#产品更新
GitHubAI 评分1010 GitHubAI 评分2222 db-mcp：支持 OAuth 2.0 与工具过滤的 SQLite MCP 服务器
db-mcp 是一个可便捷运行 SQLite MCP 服务器的开源应用，支持 OAuth 2.0 安全访问与工具过滤，并提供 WASM 和 better-sqlite3 两种版本。better-sqlite3 版本要求系统版本 14 或更高，WASM 版本建议使用现代浏览器；软件基于 MIT 许可证开源，可在 Windows、macOS 和 Linux 上运行。
GitHubAI 评分2222 Hazuki-01/llmtest：面向 LLM 应用的测试框架
Hazuki-01/llmtest 是一个专为 LLM 应用设计的测试框架，支持语义断言、多提供商测试、RAG 测试和提示词优化。它可测试来自 OpenAI、Anthropic 等提供商的模型，并支持 Windows、macOS、Linux，要求 Python 3.8 以上、至少 4 GB 内存和 200 MB 磁盘空间。
GitHubAI 评分2222 Orpheus TTS Docker 镜像发布：一键部署文本转语音
Orpheus TTS 推出 Docker 镜像 shr1324/orpheus-tts-docker，用户可通过 docker pull 拉取并运行容器，在浏览器访问 8080 端口将文本转换为语音。
GitHubAI 评分1818 Archivist-Project-Denoiser：用 Real-ESRGAN 修复赛璐璐动画
Archivist-Project-Denoiser 是一款面向赛璐璐动画的 AI 修复套件，内置专用 Real-ESRGAN 模型和基于物理的退化模拟器，可对动画素材去噪与增强。
GitHubAI 评分2222 context-pocket-web：把本地代码转成 AI 可用 Markdown 的离线工具
context-pocket-web 是一款完全离线运行的免费工具，可将本地代码文件夹转换为结构清晰的 Markdown 文档，直接粘贴给 ChatGPT、Claude 等 AI 助手使用。
GitHubAI 评分2222 greenido/techmeme-2-slack：用 Gemini 抓取 Techmeme 并推送 Slack/Telegram 摘要
greenido/techmeme-2-slack 是一个用 Gemini 抓取 Techmeme 首页并生成每日摘要、推送到 Slack 和 Telegram 的开源工具。
GitHubAI 评分33 AsesorAIrrechisimo：带委内瑞拉风格财务顾问的 AI 投资组合管理工具
GitHub 上出现名为 AsesorAIrrechisimo 的 AI 投资组合管理工具，主打一位风趣的委内瑞拉财务顾问角色，用于生成投资分析。该仓库目前 0 stars、0 forks，包含 CioEx.lua 与 README.md 等文件，未发布 Releases 或 Packages。
GitHubAI 评分1515 AI-ANSWER-ASSISTANT：自动答题浏览器扩展
AI-ANSWER-ASSISTANT 是一款浏览器扩展，可自动识别网页中的选择题和填空题并填入答案。它支持 Chrome 和 Firefox，需至少 4GB 内存、100MB 磁盘空间及联网进行 AI 处理，安装包按 Windows（.exe）、macOS（.dmg）和 Linux 分发。用户点击工具栏图标即可扫描页面答题，提交前可自行复核结果。
GitHubAI 评分3838 AI model directory：自动更新的 AI 模型元数据目录，收录超 14000 个模型
GitHub 项目 AI model directory 以 TOML 文件树形式收录来自 85 家以上提供商的超 14000 个 AI 模型，涵盖定价、上下文窗口与功能标记等元数据。
GitHubAI 评分1212 Infrai 用单个 API Key 将房产记录转为晨间 PDF 摘要
开发者 SterlingVance8549 发布开源 Python 服务 property-overnight-pdf-digest，用同一个 INFRAI_API_KEY 完成 AI 批处理与 PDF 渲染，无需中间件连接器，批处理与 PDF 共用一份账单和审计记录。
Hacker NewsAI 评分1818 Felicity：Windows 离线人脸分组照片整理工具
Felicity 是一款面向 Windows 的离线人脸识别照片整理工具，可自动在整个照片库中找出并分组同一人物的照片，无需手动打标或确认人脸。应用完全离线运行，无遥测、无广告、无订阅或一次性付费，并内置色盲、对比度及阅读障碍友好等无障碍支持。新版本 0.8.2 将在 24 小时内发布，源码可查看但采用 Source Available 许可，禁止再分发。
Hacker NewsAI 评分1212 同一创业难题分别问 ChatGPT、Claude 和 BAAB AI，三者回答有何不同
一位创始人把"现在融资还是继续自举"的真实决策，用同一段提示词分别跑过 ChatGPT、Claude 和 BAAB AI。三者结论一致：不要只因故事讲得好就融资；ChatGPT 给出六个月运营计划和指标清单，Claude 建议先自举约四个月、并坦言结论取决于它没有的数据，BAAB AI 则先判定公司处于 Baby 阶段、标注评估不完整，并把 Path A 拆成三个各自需要证据的决策。
Hacker NewsAI 评分3030 Show HN：一款支持 MCP 的实验性 pattern-first DAW Blokkily
Blokkily 是一款实验性 pattern-first DAW，单一事件模型驱动 tracker、piano roll 和 step grid 三个同步编辑器，CLAP 为必需的原生插件格式。
GitHubAI 评分2222 Hx0 鹰眼 1.0.7 正式版发布：新增独立编解码工作台与 Agent 多聊天并行
Hx0 鹰眼发布 1.0.7 正式版，新增独立编解码工作台，提供 147 项工具入口、最多 16 步组合配方，并加入智能多层解码与 AI 辅助分析。Agent 现支持最多 4 个聊天并行执行，同一聊天内追加任务按顺序处理，第 5 个任务显示「等待空位」。该版本还新增页面情报、智能解码、智能渗透与钓鱼邮件研判四个官方页面助手，并支持 MCP 联动。
GitHubAI 评分2222 inference-sh 发布 Swift SDK，为 iOS/macOS 接入 AI 智能体运行时
inference-sh 推出官方 Swift SDK sdk-swift，让 iOS、macOS 和服务端 Swift 应用可运行 AI 应用、与 AI 智能体对话并流式输出。
GitHubAI 评分1010 yanchen184/ai-lecturer-bob：AI 内训讲师个人品牌站开源
陈彦彤（Bob Chen）开源个人品牌站 ai-lecturer-bob，用 Astro 6 + React 19 Islands 模式与 Tailwind CSS 4 构建，部署在 GitHub Pages。
GitHubAI 评分2828 InnoForge 创研台：16 步创新验证流水线开源工具
创研台 InnoForge 开源，面向开发者提供从技术想法到专利保护的 16 步全自动创新验证流水线，支持断点续跑与 SSE 进度推送。工具同时检索 SerpAPI、Google Patents 与本地数据库并级联回退，内置 DeepSeek、智谱 GLM、通义千问等 9 个 AI 服务商预设，主服务商失败自动切换。
GitHubAI 评分6666 Orka 发布：在 Kubernetes 上运行 AI 智能体任务
Orka 是一个在 Kubernetes 上运行 AI 智能体任务的开源项目，用户写一份 YAML Task，Orka 就在 Pod 中执行，并通过 REST API、CLI 或内置 dashboard 读取结果。
Hacker NewsAI 评分2828 VelvetSharp：轻量级 Unity C# 代码编辑器
VelvetSharp 是一款轻量级 Unity C# IDE，作为 Rider、Visual Studio 和 VS Code 的替代方案，当前版本为 Phase 8（build 8.0.0）。
GitHubAI 评分1818 AniPub：开源无广告动漫流媒体平台，内置 AI 助手 Zero Two
AniPub 是一个开源、无广告、注重隐私的动漫流媒体平台，支持 8k+ 动漫搜索，并内置 AI 助手 Zero Two 提供推荐、剧情问答与聊天互动。平台基于 Node.js、Express、MongoDB 与 EJS 构建，支持 JWT 和 Google OAuth 登录，并集成 MyAnimeList 同步观看列表与评分。目前广告拦截率约 97%~100%，完全无广告版本即将发布。
GitHubAI 评分2222 opensim-stack 开源 opensim-spawner：为 OpenSim AI Stack 创建并协调模拟器与机器人容器
opensim-stack 发布 opensim-spawner，一个通过严格 profile 创建并协调 OpenSim 模拟器与机器人容器的 HTTP API 服务，同时为 OpenSim AI Stack 提供管理员和用户 Web 界面。
Hacker NewsAI 评分2626 Claude Notify：为 Windows 上的 Claude Code 提供桌面通知
Claude Notify 是一款 Windows 任务栏小工具，在 Claude Code 完成回复后弹出通知，显示最多 30 词的消息摘要，点击可跳转到 VS Code 中对应的项目对话窗口。
Hacker NewsAI 评分7171 AWS 发布 Lambda Web Functions，可直接运行标准 HTTP Web 应用
AWS 发布 Lambda Web Functions，允许把 Express、Hono、Fastify、Next.js 等标准端口监听服务器直接部署到 Lambda，无需改写成事件处理器。
GitHubAI 评分2222 GeoImageTagger：AI 图片地理标记与元数据平台，含 9 款免费浏览器工具
GeoImageTagger 是一个 AI 图片地理标记与元数据平台，提供 9 款免费浏览器端工具，涵盖 AI 图片打标、元数据查看与编辑、EXIF 移除、AI 位置查找、压缩、格式转换、水印和图片编辑。
GitHubAI 评分5858 Cognizant 开源 Neuro SAN：用 HOCON 配置数据驱动的多智能体网络
Cognizant AI Lab 开源 Neuro SAN，一个用于构建数据驱动多智能体网络的库，可作库调用或通过 HTTP 服务运行，智能体网络完全用 HOCON 文件描述，让领域专家而非仅程序员也能编写复杂智能体网络。
Hacker NewsAI 评分5858 Vercel Labs 推出 Portless，用命名 .localhost URL 替代本地端口号
Vercel Labs 发布 Portless，用稳定的命名 .localhost URL 替代 localhost:3000 这类端口地址，例如 myapp.localhost 和 api.myapp.localhost。
GitHubAI 评分5858 Praxis AI 发布 AI 网关：按请求内容路由并转换多种模型协议
Praxis AI 发布基于 Praxis 构建的 AI 网关，可按请求内容路由，识别 OpenAI Responses、Chat Completions 与 Anthropic Messages 流量，并按 API 格式、模型或 MCP 工具名选择后端。
GitHubAI 评分1818 tryAGI/DeepInfra：基于 DeepInfra OpenAPI 的 C# SDK
tryAGI 发布基于 DeepInfra 官方 OpenAPI 规范自动生成的 C# SDK，支持全部 DeepInfra API 端点，包括目标检测、Token 分类、图像分类与 Fill Mask 等。
GitHubAI 评分2222 Data Boar：面向 LGPD/GDPR 的企业级 PII 数据发现与风险治理引擎
Data Boar 是一款开源的企业级 PII 扫描引擎，支持 LGPD、GDPR、CCPA、GLBA 等合规框架，可扫描文件、SQL、NoSQL、API、Power BI、SharePoint 等数据源。
GitHubAI 评分4949 Terax：基于 Tauri 2 的开源终端优先 AI 原生开发环境
Terax 是一款基于 Tauri 2 + Rust 和 React 19 构建的轻量开源终端优先 AI 原生开发环境（ADE），体积约 7-8 MB，无遥测、无需账号。
GitHubAI 评分2222 eduardo-mario/htb-assistant：面向 HackTheBox/CTF 练习的 AI 助手
eduardo-mario/htb-assistant 是一个用于练习 HackTheBox/CTF 靶机的 AI 助手，可记录命令、建议下一步操作并生成 writeup。该项目基于 Node.js 且无依赖，同时提供网页版。
Hacker NewsAI 评分7171 Janas-LLM 发布：从 SSD 流式加载专家，32GB 笔记本跑 80B MoE 模型
Janas-LLM 是一个用 C 编写、除 C 库外无依赖的推理工具，把权重留在磁盘上，按 token 需要的专家从 NVMe SSD 流式读取，让 80B 参数的 MoE 模型在 32 GB 内存的笔记本上运行。
GitHubAI 评分3434 Vex：基于 Electron + Chromium 的隐私桌面浏览器，内置 AI 智能体
Vex 是一款基于 Electron + Chromium 的桌面浏览器，内置可操作标签页的 AI 智能体，支持云端 Claude、本地 Ollama 或 WebGPU 端侧运行。
GitHubAI 评分3636 ai-stp：面向 AI 智能体的跨 harness 配置管理 CLI 工具
ai-stp 是一个通过 PyPI 包 ai-stp-cli 分发的 CLI 工具，每条命令返回一个 JSON envelope，不调用模型 API 也不需要模型 key。
Hacker NewsAI 评分5858 Lucid 发布：用语音把口述想法转成系统设计图与结构化笔记
Lucid 发布，可将口述内容转成标题、列表、表格和系统设计图，并排版导出 PDF，语言模型在本地运行。它通过粘贴文本的听写应用输入，提供关键词、连接、编辑三阶段的图表模式和可对页面下指令的命令模式，每次改动都是一步撤销，并内置 MCP server 供 Claude Code 等智能体读写页面。
Hacker NewsAI 评分2323 Vellum：在 Minecraft 里用 HTML 渲染模组 GUI 的 Web 引擎
Vellum 是一个运行在 Minecraft 内的轻量 Web 引擎，让模组作者用 HTML 编写界面、物品栏和 HUD，由引擎负责布局、脚本与渲染，支持 Minecraft 26.3、26.2 和 1.21.1 上的 NeoForge 与 Fabric。
GitHubAI 评分7171 electric-capital 开源自托管 AI 智能体工作台 Quest
electric-capital 在 GitHub 开源自托管 AI 智能体工作台 Quest，提供 ChatGPT 式 Web 界面，让用户连接邮箱、文档、Slack、财务工具等服务并交给 LLM 智能体处理。
GitHubAI 评分2222 OpenVINO Model Server：面向生成式 AI 与经典深度学习的高性能模型服务
OpenVINO Model Server（OVMS）是一款基于 OpenVINO、面向 Intel 硬件优化的 C++ 推理服务器，同时支持生成式 AI 与经典深度学习模型。
Hacker NewsAI 评分5858 Intel 发布 D270 数据中心 GPU，最高 480 GB LPDDR5X 显存
Intel 发布面向智能体 AI 推理的数据中心 GPU D270，单卡最高 480 GB LPDDR5X 显存，功耗 350 W，采用风冷与标准 PCIe 5.0 形态。