cocolog 发布：运行状态可存入数据库的 Prolog 解释器
cocolog 是一个用 Cicili 编写、知识库存放在 ZiguratIP 中的 Prolog 解释器，其运行状态是数据，可挂起进数据库并由另一个进程继续求解。
最新动态
GitHubAI 评分5252 GitHubAI 评分5858 GizClaw 开源 Go 工具包 FlowCraft，用于构建可扩展 AI 应用
GizClaw 在 GitHub 开源 FlowCraft，一个用 Go 构建可扩展 AI 应用的模块化工具包，覆盖智能体执行、长期记忆、模型供应商适配与本地交互工作流。
GitHubAI 评分1212 ONNX 开源项目：AI 模型开放格式与推理生态
ONNX 是面向 AI 模型的开放源码格式，同时覆盖深度学习与传统机器学习，定义了可扩展的计算图模型、内置算子与标准数据类型，当前聚焦推理（scoring）能力。
GitHubAI 评分3030 MemoryLake 用例集：12 个基于记忆层的 AI 应用场景演示
MemoryLake 发布 memorylake-usecases 用例集，覆盖销售、客服、招聘、法律、研发等 12 个场景，每个用例均提供 CLI 运行器和本地 Web UI（python3 web/server.py）。用例演示了通话记录提取事实、跨工具会议记忆、按仓库隔离的代码库记忆、候选人全流程记忆以及智能体 bug 回放等能力，CLI 运行耗时约 2-6 分钟。
GitHubAI 评分5858 bluebear-io 开源 Baloo：自托管 AI 代码审查 GitHub App
bluebear-io 开源了 Baloo，一个自托管的 AI 代码审查 GitHub App，可读取 PR diff 与仓库上下文，在人工审查前自动发布内联评论，识别 bug、安全问题、缺失的错误处理和仓库规范违规。
Hacker NewsAI 评分1212 有人让 Opus 5.5 做了一个「还没死的 NFT」门户网站
一位开发者让 Opus 5.5 生成了一个名为「还没死的 NFT」的展示门户，把 2021 年高点送评、如今刚取回的 NFT 按地板价从低到高陈列，共 65 个藏品、435 个 NFT，参考 ETH 价格 $2,534。页面为每个 NFT 标注 2021 崩盘前的成交对比价，例如 CLONE X #15474 曾以 $54,816 成交，现标价 $390。
Hacker NewsAI 评分2222 dgxtop v2：面向 Linux 与 DGX Spark 的 Nvidia GPU 终端监控工具
dgxtop v2 发布，这是一款用 Rust 编写的 Nvidia GPU 终端监控工具，为 DGX Spark 打造，也可运行在任意搭载 Nvidia GPU 的 Linux 机器上。
Hacker NewsAI 评分2626 Shotie：用代码生成 App Store 截图的 Mac 应用
Shotie 是一款原生 macOS 26 应用，可从代码或模拟器生成 App Store 与 Google Play 截图，支持全部商店语言并一键打包导出。用户可用自然语言让 Claude Code、OpenAI Codex 或 Gemini CLI 修改截图，标题会按真实渲染检查适配与对比度。所有渲染与导出均在本地完成，无需服务器，年付 €24.99、终身 €59.99。
Hacker NewsAI 评分3838 我用 Google AI Playground 做出了三款糟糕的游戏
Google 本周在 Google Labs 上线 Playground，用户用自然语言描述即可生成可在浏览器中游玩的游戏，并可上传图片、视频或模型作为参考。作者一天内做出 Pork Drop、Dinner Darling 和 Neon Don 三款游戏，其中 Neon Don 已有 7 名玩家，但 Playground 对使用量设有额度限制，额度将于 10 月 14 日刷新。
Hacker NewsAI 评分4040 Show HN：一个让编码智能体自行注册的 OpenAI 兼容 API
一个 OpenAI 兼容 API 上线，编码智能体可自行注册：粘贴一行链接，智能体就会自动配置开源模型、密钥和预算，支持 Claude Code、Codex、Cursor 等任何能执行命令的智能体。按 token 从预付额度中扣费，也可自行部署；该链接仅向账户添加活动代码 org-hn 以追踪广告来源，并声明与 Anthropic、OpenAI、Cursor 及各模型厂商无关联。
GitHubAI 评分2020 claude-codex-duo：让 Claude Code 与 Codex 结对编程的工具
GitHub 项目 claude-codex-duo 提供 Claude Code 与 Codex 两个 AI 模型结对编程，用于代码生成、审查和自动化任务。该工具支持 Windows 10 及以上、macOS Mojave 及以上及兼容 Linux 发行版，需至少 4 GB 内存和 500 MB 存储空间，安装包为 .exe、.dmg 等格式。
GitHubAI 评分3636 AI-Job-Email-Sender：基于 Neo4j 知识图谱的求职邮件自动生成流水线
开源项目 AI-Job-Email-Sender 将简历解析、GitHub 项目分析、公司岗位导入、Neo4j 知识图谱构建、Qdrant 向量索引与混合排序串成一条流水线，自动生成个性化求职邮件。
GitHubAI 评分2020 server-api：统一管理 Claude Code、Codex 与 DeepSeek Harness 的 AI 智能体控制台
server-api 是一个开源 Web 控制台，可在同一界面管理 Claude Code、Codex 和 DeepSeek Harness 等 AI 编码智能体。它通过 6 位配对码连接设备，基于 SSE 实时推送智能体状态，并提供 REST API 供程序化调用，最多可同时配对 10 台设备。工具支持 Windows、Mac 和 Linux，数据保留在本地设备之间。
GitHubAI 评分1515 nektor：用自然语言为 Honeycomb Refinery 生成 AI 尾采样策略
nektor 是一款用自然语言意图和 trace 数据为 Honeycomb Refinery 生成 AI 尾采样策略的工具，基于 Rust 构建，涉及 Anthropic、LLM、OpenTelemetry 与可观测性。项目由 medtotti 发布在 GitHub，目前 0 stars、0 forks。
GitHubAI 评分1515 yorbisanthony/auto-survey-agent：用 AI 智能体自动完成文献综述
GitHub 项目 yorbisanthony/auto-survey-agent 用 AI 智能体自动化文献综述，通过结构化协议完成调研并生成报告。项目标签涵盖 agentic AI、AutoGen、思维链、上下文学习、LLaMA API 与 LLM 框架，基于 Python 构建，采用 React 与 SurveyJS 实现发布与问卷界面。
GitHubAI 评分88 browser-pilot：一款便捷的网页浏览工具
GitHub 项目 browser-pilot 发布，这是一款帮助用户流畅高效浏览网页的应用，提供书签管理、标签页管理和内置隐私选项等功能。该工具支持 Windows 10 及以上、macOS Mojave 及以上及近期 Linux 发行版，建议 4 GB 以上内存和至少 100 MB 磁盘空间，用户可从 Releases 页面下载安装包。
GitHubAI 评分2222 mcp-accessibility-scanner：基于 Playwright 与 Axe-core 的 MCP 无障碍扫描服务器
JustasMonkev 发布 mcp-accessibility-scanner，一个基于 Playwright 和 Axe-core 的 MCP 服务器，可自动检测 WCAG 2.0/2.1/2.2 的 A、AA、AAA 级标准并生成带修复建议的 JSON 报告。
GitHubAI 评分1515 strewerwer/agentic-rag-framework：面向生产系统的 Agentic RAG 框架
strewerwer/agentic-rag-framework 是一个面向生产级系统的 Agentic RAG 框架，支持混合搜索、查询分类与答案融合。项目标签涵盖 agent、multi-agent、MCP server、HuggingFace、OpenAI API、Claude Code Skills 与 Codex，目前获得 1 star、1 fork。
GitHubAI 评分1212 mcp-agent-framework：面向非技术用户的 AI 多智能体集成框架
GitHub 上的 mcp-agent-framework 提供无需编程知识即可连接多种 AI 系统的多智能体编排工具，支持同时运行多个 AI 智能体并接入各类 AI 服务。该框架要求 Windows 10、macOS 10.15 或较新 Linux 系统，至少 4 GB 内存和 200 MB 存储空间，安装包可从 Releases 页面按系统下载。
GitHubAI 评分1212 SpecGuard：把 AI 安全策略变成可执行测试的命令行工具
SpecGuard 是一款命令行工具，可将 AI 安全策略与行为准则转化为可执行测试，像单元测试一样校验 AI 输出是否符合规则。它支持策略强制执行、自定义测试参数和详细报告，运行环境要求 Windows 10、macOS 10.14 或现代 Linux，至少 4GB 内存与 100MB 磁盘空间。
GitHubAI 评分1818 LinkPress 开源核心库 linkpress-core：网页摘要、抓取与 Slack 集成
LinkPress 的核心库 linkpress-core 开源，支持 AI 摘要、网页抓取和 Slack 集成，基于 TypeScript 构建，采用 MIT 许可证。用户可通过 summarize、scrape、send 等命令完成摘要生成、数据抓取与消息推送，需 Windows、macOS 或 Linux 环境。
GitHubAI 评分3838 Showdar Router：面向 OpenCode 的本地优先 AI 路由网关
Showdar Router 是一个本地优先的 AI 路由网关，为 OpenCode 及 OpenAI 兼容客户端提供统一的本地端点，可管理多个提供商、凭证、模型与回退组合。它支持有序模型组合与回退、健康感知的冷却与恢复，以及配额耗尽、认证失败等故障分类处理，默认端口为 21298。
GitHubAI 评分2222 syai_notice_viewer：轻量版学院通知查看器
syai_notice_viewer 是一个基于 Python + SQLite + 本地网页的个人学院通知查看器，不依赖 Spring、MySQL、MinIO 或 RagFlow，支持手动、Agent 命令行和 HTTP API 触发更新，具备增量去重与未读提醒。
GitHubAI 评分2828 PanWatch：自托管 AI 股票监控助手，覆盖 A 股、港股与美股
PanWatch 是一款免费开源的 AI 股票监控工具，基于 TradingAgents 技术分析市场趋势，同时覆盖 A 股、港股和美股。它提供实时价格提醒、投资组合概览和每日或每周自动报告，数据全部在本地运行，不上传云端。该工具面向 Windows 10/11，需至少 4 GB 内存和 500 MB 磁盘空间，支持以 PWA 形式安装为桌面或手机应用。
GitHubAI 评分1010 AI_Emotional_Mirror：本地运行的情绪反思应用发布
GitHub 项目 AI_Emotional_Mirror 发布，这是一款分析用户文字并给出情绪反思的桌面应用，支持 Windows 10 及以上、macOS 10.15 及以上和多数 Linux 发行版，需至少 4 GB 内存和 200 MB 存储空间。用户输入想法后点击 Analyze 即可获得情绪识别结果与不带评判的平静总结，反思内容可保存至本地，输入数据不会上传服务器。
Hacker NewsAI 评分3838 Pirate Face：用 BitTorrent 去中心化分发 Hugging Face 模型
Pirate Face 通过一个 Python 包让 Hugging Face 模型改从 BitTorrent 种子节点下载，无需改动任何代码或配置，`transformers`、`diffusers`、`hf_hub_download` 等调用方式保持不变。
Hacker NewsAI 评分2020 VFitly 虚拟试衣：一张照片生成穿搭视频
VFitly 提供基于图像的虚拟试穿，用户上传本人照片和服装图片，AI 即可生成穿搭预览，还可生成试穿视频。该工具在浏览器内运行，支持从商品链接抓取服装图片，并可将常穿单品存入衣橱以便重复试穿。VFitly 不寄送实物，也无法确认实际合身度，官方建议仅用于早期筛选颜色与版型，购买前仍需向卖家确认尺寸、材质和退货条件。
GitHubAI 评分1010 SahilKumar9315/linkedin-ai-autoposter：用 AI 将突发新闻转为 LinkedIn 帖子
GitHub 项目 SahilKumar9315/linkedin-ai-autoposter 可将突发新闻转化为 LinkedIn 帖子，借助 AI 驱动的洞察与历史背景生成有影响力的职业内容。该项目目前获 2 颗星、1 人关注、0 次 fork，仓库包含 .vscode、js、index.html、style.css 等文件。
GitHubAI 评分1212 INSTANCE：一款扮演 AI 的互动叙事游戏，五幕主线与 40 段对话
INSTANCE 是一款让玩家扮演 AI 的互动叙事游戏，玩家从作者撰写的回复选项中做出选择，而非输入任意内容，游戏不依赖语言模型实时生成对话。主线为五幕结构，另有 40 段对话的日常模式，内容取自 374 份作者撰写的普通对话素材，并附收尾评估。游戏托管于 GitHub Pages，进度保存在浏览器本地存储，正文与界面以中文为主。
GitHubAI 评分88 awesome-x402：X402 生态资源合集
GitHub 上的 awesome-x402 项目汇集了 X402 生态的相关资源，包含文档、社区支持与集成工具，并提供从 Releases 页面下载安装的完整指引。该项目要求 Windows 10、macOS Mojave 或主流 Linux 发行版，至少 1 GHz 处理器、2 GB 内存和 100 MB 可用磁盘空间。项目会定期更新以改进功能并修复问题。
GitHubAI 评分6060 PotionUI 发布 Alpha 0.0.15：自托管图像视频音频生成工作室
PotionUI 发布 Alpha 0.0.15，这是一个自托管生成工作室，可在自有 GPU 上运行 SDXL、Flux、Qwen-Image、Krea-2、Wan、LTX、MiniMax 和 YuE2 等图像、视频与音频模型，采用 GPL-3.0 开源许可。
GitHubAI 评分1818 ronalten/prompt-library：结构化提示词库
ronalten/prompt-library 是一个结构化提示词库，用于发现和自定义各类用例的提示词，设计上强调清晰与易用。该库以结构化组织方式呈现提示词，方便用户按需查找和调整。
GitHubAI 评分88 OpenNMT-Indonesia-Bima：印尼语与比马语互译模型
OpenNMT-Indonesia-Bima 是一个基于神经机器翻译的模型，用于印尼语（Bahasa Indonesia）与比马语（Bima）之间的互译。该工具提供易用界面，支持离线使用，安装需至少 4 GB 内存、500 MB 磁盘空间及 Python 3.7 或更高版本，适用于 Windows 10、macOS Mojave 或更高版本及近期 Linux 发行版。
GitHubAI 评分6060 writ 发布 Rust 并行编码智能体协调层
rmems/writ 是一个 Rust 编写的、与 provider 无关的并行编码智能体协调层，用同主机 SQLite 存储登记任务、智能体会话、仓库、检出、分支与 head，并通过租约跟踪归属。
Hacker NewsAI 评分5555 Omalauncher 发布：Android 上的智能体启动器，可免 root 运行 Arch Linux ARM
Omalauncher 是一个 Android 桌面启动器，采用 Omarchy 外观，可在 proot 下免 root 运行 Arch Linux ARM 系统，并充当其 Wayland 合成器，每个 Linux 窗口作为独立 Android 任务显示在最近任务中。
Hacker NewsAI 评分3838 Kintsugi：跨平台云端 AI 智能体框架，AgentsInTheCloud 的分支版本
Kintsugi 是 Lucas Meijer 的 AgentsInTheCloud 的一个分支，可在自有基础设施上运行编码智能体，并自选模型提供商与评估工具。
GitHubAI 评分2020 evidence-ledger：面向应付账款的发票结构化提取与可审计证据链
Abhinit Sen 发布开源项目 evidence-ledger，将发票抽取的模型输出转为可验证、可审计的数据契约，支持精确原文引用、字符跨度与十进制算术校验，金额不符会标记 arithmetic_mismatch。
GitHubAI 评分2020 TaskWeaver AI：AI 驱动的任务规划与执行引擎
TaskWeaver AI 是一款 AI 驱动的任务规划引擎，可将 Markdown 格式的高层需求自动递归拆解为带依赖关系和预估工作量的可执行任务计划。
GitHubAI 评分3838 Nexus v2.5.0 发布：面向 AI 执行的可治理确定性控制平面
Nexus v2.5.0 发布，为 AI 驱动的执行提供可治理、可审计、可重放的控制平面，新增从目标到可审查计划的操作员监督路径、受约束的仓库写入、独立证据验证与 Knowledge 更新。该版本通过 live-Claude 严格测试套件 3,261 项测试，零跳过零警告；五例技术操作员试点中三例修复被评有用，P4 故意错误修复失败，P5 因缺少 JUnit 报告需复核，操作员报告零误拒。
GitHubAI 评分2020 Code Executives：15 个编程学习模块与 96+ 交互式可视化
Code Executives 是一个交互式编程学习 Web 应用，现包含 15 个完整学习模块和 96+ 交互式可视化，覆盖 Next.js、Git、JavaScript 引擎、RxJS、数据结构、Big-O、Python、AI 基础、Node.js、DevOps、Auth & Security 与后端架构。