跳到正文
10月13日周二
  1. GitHub38

    mlaify/AttackMap:本地优先的 AI 辅助代码安全分析工具

    mlaify/AttackMap 是一款本地优先、AI 辅助的防御性安全分析工具,可读取代码仓库重建攻击面、追踪请求到数据汇的数据流,并生成按优先级排序的证据化安全审查报告,代码不会外传。当前为 beta(v0.5.0),含核心引擎与 15 个分析插件,支持 `--llm` 调用 Claude 或 OpenAI 生成 AI 叙述,并可通过 Homebrew 安装 macOS 应用。

  2. GitHub60

    AgentLane 开源:为 AI 智能体提供持久地址与状态运行时

    AgentLane 发布开源运行时,为 AI 智能体提供稳定地址、收件箱和跨单次运行持久保存的状态,模型、进程或机器更换后智能体身份不变。智能体以 markdown 文件定义,frontmatter 为配置、正文为系统提示词,可通过 state_path 跨进程保留状态,并用 subagents 与 distributed_runtime 把专家智能体绑定到分布式运行时。

  3. Hacker News34

    Waymark:自托管的滚动地图故事编辑器

    Waymark 是一款自托管编辑器,用于制作随滚动移动的地图故事,只需 Node.js 22.13 或更新版本,无需 npm install,git clone 后运行 npm start 即可使用。它内置 NOAA、NASA、USGS 等实时政府数据图层,支持筛选、缓冲区与六边形分箱等分析工具,并可绘制点线面标注。故事可发布为公开链接,或导出为纯静态网站文件,部署到任意 Web 服务器。

  4. GitHub71

    OpenMontage 开源智能体视频生产系统发布

    OpenMontage 发布,定位为首个开源智能体视频生产系统,把 AI 编码助手变成完整视频制作工作室,由智能体完成调研、脚本、素材生成、剪辑与合成。它支持从 YouTube、Reel、TikTok 或本地片段出发生成制作方案,并可用 Archive.org、NASA、Wikimedia Commons 等免费开放素材剪出真实动态画面,而非只让静态图动起来。

  5. Hacker News58

    Ringee 发布开源呼叫基础设施,支持人工团队与 AI 语音智能体共用一套栈

    Ringee 发布开源呼叫基础设施,让销售团队和 AI 语音智能体在同一套号码、通话记录和录音上工作。团队版为每月 20 美元、不限用户数,个人账户免费,通话按量计费,从每分钟 0.012 美元起。它提供 AI 接待、预约和提醒三类语音智能体,并可通过 MCP 服务器在 ChatGPT、Claude 等客户端中查找线索、发起 AI 通话和记录结果,代码已在 GitHub 公开,支持自托管。

  6. Hacker News63

    FeedHive 开源 AI Slop Detector:120 种 AI 写作套路清单与 Skill

    FeedHive 在 GitHub 开源 AI Slop Detector,列出 9 大类共 120 种让文字读起来像 AI 的写作套路,每条附简短说明、反面示例和直白改写。清单可用于写作前交给 AI 规避,或事后检查草稿,并支持以 Skill 形式安装到 Claude Code、Codex 等智能体,patterns.json 提供结构化数据,MIT 许可。

  7. AWS Machine Learning Blog34

    如何用 Ray LLM Deep Learning Containers 在 Amazon EKS 上运行多节点推理

    AWS 发布 Ray LLM Deep Learning Containers,可在 Amazon EKS 上用两个 GPU 节点部署单个大语言模型,将 prefill 与 decode 阶段分离并统一在一个 OpenAI 兼容端点后。该容器内置 vLLM、Ray Serve LLM、NIXL 和 EFA 栈,整个服务应用仅需一段 YAML,无需编写 handler 或构建自定义镜像。

10月12日周一
  1. Hacker News22

    OpenAI Navier-Stokes Lean 4 形式化审计:弱 Bochner 与 Clay Statement C 不符

    对 OpenAI 的 Lean 4 形式化项目 openai/NavierStokesAndEuler 的结构审计发现,其有界强迫定理与爆破机制所用的演化方程存在内部矛盾。审计指出三类问题:坐标变换矩阵 Q(t) 奇异导致的伪爆破、局部界无法在无穷级数上全局继承,以及在 TimeLp 空间中的弱 Bochner 表述无法满足 Clay Statement C 对 C^∞ 经典光滑解的要求。

  2. GitHub62

    cavi-ai 开源 MCP 服务器评测工具 mcp-eval

    cavi-ai 发布开源工具 mcp-eval,用于评测 MCP 服务器,分两条线:确定性基准测试以 manifest 驱动探针套件对 stdio 或 Streamable HTTP 服务器给出通过/失败判定,全程不调用 LLM、结果可复现;摩擦捕获则通过隐私保护 shim 在生产式智能体会话中记录服务器实际给智能体带来的开销,并把重复摩擦升级为可查询的 finding。