Aviator 团队发文介绍他们产品 Aviator Verify 里的一套代码审查做法:让 AI 负责验证,人类负责决策。原来很多团队把 AI 代码审查用反了——让模型逐行读代码、判断改得好不好,人只扫一眼就点通过;问题是模型不知道你们团队的规矩,也没参与之前的决策,更无法为结果负责。他们的办法是:把团队一贯的规则写成“不变量”,把这次改动的目的和验收标准从 AI 编程会话里自动提取出来,连同关键决策、测试计划和运行环境中的证据一起打包,最后交给人来批准或打回,人看的是“为什么改、怎么改、有什么证据”,而不是逐行看代码。文中提到可以开免费账号生成团队的不变量,即使之后不用 Verify 也能保留;但具体定价、正式开放时间等信息文中未说明。
文中可用工具
- Aviator VerifyAviator 推出的代码审查工具,负责按不变量和验收标准验证改动并整理证据
- CLAUDE.md给编程 Agent 的指令文件,文中说它能帮上忙,但无法证明 Agent 真的照做
- GitHub从团队在 GitHub 上发的 PR 评论里提炼不变量草稿
- Slack在 Slack 讨论串里 @aviator invariant 可现场生成不变量草稿
展开详情收起详情:如何终结逐行代码审查:一份分步指南⌄
The New Stack
原文发布:2026-11-01 23:00收录:2026-11-02
这篇来自开源安全领域的文章说:2026 年,AI 模型几小时内就能根据补丁对比自动写出可利用的漏洞攻击,从漏洞公开到被利用的时间中位数已从 2021 年约一年缩短到一天,预计 2027 年只要一分钟。开源维护者多为志愿者,Anthropic 到 2026 年 5 月报告的 530 个高危漏洞里只修了 75 个,很多项目由一两个人支撑,靠免费开源很难跟上。作者建议企业把关键开源依赖转向有厂商或基金会支持、按服务协议负责修复的“专业开源”,并迁移到能说清维护者是谁的软件包。对读者而言,这意味着安全策略要从“定期打补丁”改成按小时计的反应速度,并先盘点自己依赖了哪些没人维护的代码。
文中可用工具
- Anthropic Mythos原文提到可自动发现此前未知漏洞的模型家族
- OpenAI GPT-5.5原文提到可自动发现此前未知漏洞的模型
- Project GlasswingAnthropic 与合作伙伴开展的漏洞发现项目
展开详情收起详情:AI 漏洞利用时代的开源安全:不改代码也能打补丁⌄
The New Stack
原文发布:2026-11-02 00:00收录:2026-11-02
GitHub 一年一度的为期一个月的游戏创作活动 Game Off 今年办到第 14 届,2026 年 11 月开跑,主题是「SHIFT」(可以理解为切换、位移、换挡、按住 Shift 键等各种玩法)。活动在 itch.io 上进行,任何人都可以参加:只要在 2026 年 12 月 1 日 13:37(太平洋时间)前把游戏源码推到公开的 GitHub 仓库,并在 itch.io 提交作品就算参赛。之后由参与者互相试玩投票,评出整体、玩法、画面、音频、创新和主题诠释等奖项,投票在 2027 年 1 月 1 日 13:37(太平洋时间)截止。规则比较宽松:可以单人或组队,引擎和素材随意,允许 AI 辅助开发但提交时需要说明使用情况。对普通读者来说,这是个适合新手尝试做第一款游戏、也能看到很多奇思妙想作品的活动。
文中可用工具
- GitHub存放游戏源码的公开仓库平台,也是活动主办方
- GitHub Copilot文中建议用来头脑风暴游戏点子的 AI 编程助手
- itch.io游戏创作活动的页面平台,用于报名、提交作品和投票
展开详情收起详情:Game Off 2026:主题是 SHIFT⌄
GitHub Blog
原文发布:2026-11-02 05:36收录:2026-11-02
亚马逊 CEO Andy Jassy 表示,AWS 的大部分包年包月(长期预留)云产能到2027年基本已被订满,2028年的一部分也已分配出去。不过公司仍在为按需付费、EC2 和 Bedrock 留出一定余量。也就是说,长期包用的客户提前锁走了大量算力,普通用户临时开机器可能就更难。一些实际使用者在讨论中提到,连普通的 EC2 按需实例都不容易申请到,其他云厂商也有类似紧张情况。目前这只是 CEO 的说法和用户反馈,具体预留多少、何时缓解,材料没有说明。
文中可用工具
- AWS亚马逊的云计算平台,提供 EC2 等云服务器
- EC2AWS 的云服务器产品,用户可按需开虚拟机
- BedrockAWS 的生成式 AI 模型服务
展开详情收起详情:AWS 产能到2027年基本售罄,但仍为按需实例预留余量⌄
InfoQ Architecture & Design
原文发布:2026-11-01 16:03收录:2026-11-02
chriswu727/agentdetox · Protection for what AI coding agents remember and obey: checks writes to memory, rules, skills and config, records where each change came from, and puts back what was tampered with.
AgentDetox 面向 AI 编码代理的记忆、指令、规则、技能与配置文件提供写入检查、篡改检测和恢复。它在写入前检查内容,拦截植入指令;在 shell 工具执行前后对比文件变化,记录改动来源;在会话开始时报告代理之外发生的可疑修改,并支持用 review、restore、blame 等命令审阅、恢复与追溯。项目当前为预览状态,Claude Code 支持较完整,Codex 与 Cursor 的 hook 为实验性,OpenClaw 仅支持篡改检测;检测本身不构成安全边界。
展开详情收起详情:AgentDetox:为 AI 编码代理的记忆与规则提供防篡改保护⌄
★ 0 · 可直接使用的工具
GitHub
原文发布:未知收录:2026-11-02
ParendumOU/Corvus-MCP · Connect any MCP client (Claude Code, Claude Desktop, Cursor, VS Code, Zed, Codex, Gemini CLI...) to the Corvus browser. Let AI agents drive a real browser, with your approval for anything that matters.
Corvus MCP 是一个轻量、无依赖的 MCP stdio 连接器,把 Claude Code、Claude Desktop、Cursor、VS Code、Zed、Cline、Codex CLI、Gemini CLI 等 MCP 客户端连接到 Corvus AI 浏览器内置的 MCP 服务,让 AI 代理在用户已登录的浏览器会话中打开和阅读页面、点击、输入、填写表单、截图和搜索。项目包含连接器脚本与 Claude Code 插件;本地使用时会自动读取地址和 token,并提供只读、标准、完整三级权限控制,以及对花钱操作、双因素认证(2FA)和验证码的人工确认与接管机制。
展开详情收起详情:Corvus MCP:将 MCP 客户端连接到 Corvus AI 浏览器,并在用户批准下驱动真实浏览器⌄
★ 0 · 可直接使用的工具
GitHub
原文发布:未知收录:2026-11-02
madhusoodhans/video-grep · grep for video content: describe an action or scene and find the moment it happens, from the terminal, over SSH, on servers and headless boxes
video-grep 是一个面向终端和 SSH 场景的视频内容搜索工具。它把视频按 6 秒片段抽样,用多模态嵌入模型 EmbeddingGemma 2 建立画面索引,再用英文描述动作、场景或物体来检索,返回匹配的视频和具体时间点。支持只读素材、长视频、后台索引、断线续跑、增量索引,以及只导出匹配片段。所有处理在本机完成,仅模型下载需要联网。
展开详情收起详情:video-grep:在终端中用自然语言按画面内容搜索视频并定位时间点⌄
★ 9 · 可直接使用的工具
GitHub
原文发布:未知收录:2026-11-02
hanxiao/DeepSeek-V4.1-Flash-1017-FP8-abliterated-4x-RTX-PRO-6000 · Abliterated DeepSeek-V4.1-Flash-1017 (FP8 dense, FP4 experts) on 4x RTX PRO 6000 with vLLM-Moet r21 and DSpark: 371-376 tok/s single-stream agent decode at 30k-120k context, 1M context, Flex-start GCE VM
该仓库提供一套 Shell 脚本,用于在 Google Compute Engine 的 g4-standard-192 Flex-start 虚拟机上部署经过 abliterated(去审查)处理的 DeepSeek-V4.1-Flash-1017 模型:使用 vLLM-Moet r21 与 DSpark 投机解码(5 个草稿 token),采用 4 卡张量并行、FP8 稠密权重与 FP4 路由专家,支持 1,048,576 token 上下文、thinking 与并行工具调用、图片输入、SSE 流式输出,并兼容 Anthropic Messages API 与 OpenAI chat completions。仓库还包含基于 Caddy 的 TLS Bearer 鉴权代理、冒烟测试与评测脚本,并给出在 coding agent 负载下的单流解码速度与首 token 延迟数据。
展开详情收起详情:DeepSeek-V4.1-Flash-1017 去审查版:在 4 张 RTX PRO 6000 上通过 vLLM-Moet 部署 1M 上下文推理服务⌄
★ 31 · 可直接使用的工具
GitHub
原文发布:未知收录:2026-11-02
ParendumOU/Corvus · AI-native desktop browser that is also an MCP server. A built-in agent clicks, reads and fills forms for you, and asks before anything that costs money. E2E-encrypted sync, local models via Ollama. Open source (MPL-2.0).
Corvus 是一款基于 Electron 的桌面网页浏览器,内置 AI 搜索摘要、页面辅助面板和可执行点击、输入、填表等操作的浏览器 Agent,并作为本地 MCP 服务器让 Claude Code、Claude Desktop 等 MCP 客户端在用户已登录的会话中驱动浏览器,提供只读、标准、完整三级权限与人工暂停机制。它还支持端到端加密的设备同步(内置同步服务器或自托管 Docker 部署)以及通过 Ollama 或 OpenAI 兼容服务使用本地模型。
展开详情收起详情:Corvus:支持 MCP 的 AI 原生桌面浏览器⌄
★ 0 · 可直接使用的工具
GitHub
原文发布:未知收录:2026-11-02
MlkBlk-IT/LoFT · CPU LoRA fine-tuning lab (Qwen3) with dataset distillation - training pipeline, hallucination tests, compared runs.
LoFT 是一个在无 GPU 的消费级笔记本上进行的 LoRA 微调实验项目,覆盖从教师模型(Kimi K3、Grok、Mistral、GPT)生成数据、过滤清洗、LoRA 微调(rank 4-16)、幻觉与逻辑推理评测,到适配器合并与量化 GGUF 导出的完整流程。README 报告 Qwen3-0.6B 单次训练约 2 小时,Qwen3-1.7B 约 8 小时(QLoRA 试跑),仓库代码与文档主要为法语。
展开详情收起详情:LoFT:在纯 CPU 上微调 Qwen3 的 LoRA 实验项目,包含数据蒸馏、幻觉测试与训练对比⌄
★ 1 · 研究实现
GitHub
原文发布:未知收录:2026-11-02
yangmengze608-afk/Guose · Intent-first, evidence-aware frontend transformation with human approval, provenance, and safe abstention.
Guose 是一个 TypeScript 编写的前端改造工具,强调“意图优先、证据感知”:将模糊的设计需求先澄清成可审查的范围化 brief,再编译为计划,经人工确认具体计划哈希后,才在隔离副本上执行改造,并提供 diff 审查与撤销流程。项目重视来源溯源、对无法安全执行的操作诚实标注 UNKNOWN 并跳过。当前执行仅支持自有的 React + Tailwind 演示应用,任意第三方仓库执行与生产使用均未验证;无 npm 发布包或托管服务。
展开详情收起详情:Guose:带人工审批与证据溯源的前端代码意图驱动改造工具⌄
★ 0 · 可直接使用的工具
GitHub
原文发布:未知收录:2026-11-02
rivendale/hsi-operator · Keep a human at the strategic level of agent work: surface only what needs a person, and establish what 'done' means before building.
hsi-operator 是一组供 AI 编程 Agent 加载的技能与配套脚本,目标是让人保持在 Agent 工作的战略层:只把真正需要人来处理(决策、批准、执行、审美)的问题呈现出来,并在动手前明确“完成”的验收标准。仓库包含五个技能(hsi-operator、repo-triage、context-steward、system-map、update)、实践文档、CI 评测、起步模板与适配器,并提供 hsi、triage、sysmap 等命令行脚本用于任务排序、仓库初筛、上下文交接、系统映射与状态报告。
展开详情收起详情:hsi-operator:让人类始终处于 Agent 工作的战略层面的技能集⌄
★ 2 · 开发框架
GitHub
原文发布:未知收录:2026-11-02
KiriAky107/OpenNexus · Local-first AI notebook with knowledge retrieval, auditable agents, media-to-notes, extensible Skills/Plugins/MCP, and optional multi-device sync.
OpenNexus 是一个本地优先的 AI 原生知识工作台,用 Markdown 作为笔记载体、JSON Canvas 作为结构化画布,支持本地混合检索(SQLite FTS5 加本地向量嵌入,并用 RRF 融合和可选重排)、把音频和视频等媒体转成带时间戳的笔记、可审查的 AI 写入与变更历史恢复、可暂停恢复的 Agent 流程和多 Agent 协作、对话搜索、反向链接以及文件夹视图等。它还内置 MCP 服务器、插件和社区包扩展,可选多设备同步,并提供 Windows 桌面安装包。
展开详情收起详情:OpenNexus:本地优先的 AI 知识工作台⌄
★ 2 · 可直接使用的工具
GitHub
原文发布:未知收录:2026-11-02
ahmadzayan-hub/AI-Knowledge-Assistant · Local AI knowledge assistant setup kit: Ollama and Open WebUI on Windows, plus a React console.
该项目是一个面向 Windows 11 的本地 AI 知识助手搭建套件,通过分阶段 PowerShell 脚本(就绪检查、模型基准测试、启动、关闭、状态、隐私检查、备份)配合 Ollama 与 Open WebUI 实现本地文档检索与问答,并提供 React 工作区(流式对话、知识库与文档浏览、助手选择、设置)和支持知识搜索、文档阅读、算术、日期时间及可选外部网络搜索的工具调用 Agent,含执行轨迹展示及中英双语检索验证指引。项目强调小模型、资源实测与来源可溯,并明确说明自身是搭建套件与应用源码,未证明安装、文档导入或验收已在特定机器上完成。
展开详情收起详情:AI-Knowledge-Assistant:在 Windows 本地用 Ollama 与 Open WebUI 搭建可溯源文档问答助手⌄
★ 0 · 可直接使用的工具
GitHub
原文发布:未知收录:2026-11-02
avksp/agent-lifecycle-kit · Finish coding-agent tasks with reviewed specs, frozen plans, bounded execution, adapter checks, and final proof. Provider-neutral lifecycle kit for Codex, Claude, Qwen, and local CLIs.
Agent Lifecycle Kit(ALK)是一个与模型提供方无关的编码智能体生命周期编排工具,围绕评审过的规格、冻结计划、有界执行、适配器检查与最终证据来组织编码任务,支持 Codex、Claude Code、Qwen Code 等多种 CLI 宿主。项目强调核心与宿主命令解耦、可审计证据、资源与用量记录、安全边界与回滚/恢复,并提供 Python 包与文档入口。
展开详情收起详情:Agent Lifecycle Kit:面向编码智能体的可验证生命周期编排工具⌄
★ 18 · 开发框架
GitHub
原文发布:未知收录:2026-11-02
Cherie01234/clip_search · 多言語CLIP×FAISSによるテキスト・画像のゼロショット類似検索(日本語クエリ対応)。Streamlitアプリ
该项目用多语言 CLIP 模型(open-clip-torch 的 xlm-roberta-base-ViT-B-32)把图片和文本编码到同一 512 维向量空间,经 L2 归一化后用 FAISS 做内积(余弦相似度)近邻检索,并通过 Streamlit 提供搜索界面。支持用日语或英语关键词以及手持图片在图片集合中做零样本语义检索;仓库附带脚本可先从图片目录构建索引再启动应用,还提供示例图片用于快速试用。README 说明作者曾在 Kaggle 时尚商品图片数据集约 4.4 万张图片上构建索引进行演示,但未做 Recall@K 等定量精度评估。
展开详情收起详情:clip_search:基于多语言 CLIP 与 FAISS 的文本-图像零样本相似检索应用⌄
★ 0 · 可直接使用的工具
GitHub
原文发布:未知收录:2026-11-02
Mnemosyne-OS/Mnemosyne-Neural-OS · A control room for AI memory. Your files and conversations become searchable memory any model you connect can draw on, and you decide what enters, what moves and what leaves. Vaults live on your hardware. Windows, macOS, Linux.
Mnemosyne OS 是一个面向 AI 记忆的本地优先控制台,把用户的文件与对话整理为可按需检索、加密保存在本机的 vault(记忆库),并由用户决定哪些内容进入、移动或离开。它支持在本地或云端运行 LLM,通过自适应 RAG、语义 Spine 分类与 Dream State 记忆巩固为多个编码 Agent 提供跨会话记忆;提供 MCP 方式接入 Claude Code、Cursor 等工具,并包含多语言界面、语音、图像记忆与 P2P 同步等模块。仓库为 TypeScript/Electron 实现,采用开源核心模式,桌面端支持 Windows、macOS 和 Linux。
展开详情收起详情:Mnemosyne OS:本地优先的 AI 记忆操作系统,让文件与对话成为可控、可检索的模型记忆⌄
★ 20 · 可直接使用的工具
GitHub
原文发布:未知收录:2026-11-02
chitranklabs/ask-widget · A lightweight chat widget for developer portfolios. Drop-in floating chat with SSE streaming, dark/light themes, and configurable positioning. Aligned with the neutral zinc palette.
ask-widget 是一个面向开发者作品集的轻量 React 聊天组件,提供悬浮启动器、对话面板与输入框,支持 SSE 流式输出、深浅色主题、颜色覆盖、定位配置,以及在浏览器本地保存历史记录和取消请求。项目同时提供 useChat、useSSEStream、useSession 等无渲染 hooks,便于自建界面;模型访问、鉴权和请求限流需由自有后端提供。
展开详情收起详情:ask-widget:为开发者作品集提供流式回复的悬浮聊天组件⌄
★ 0 · 开发框架
GitHub
原文发布:未知收录:2026-11-02
Digital-Process-Tools/claude-remember · Persistent memory for Claude Code — identity, context, and continuity across sessions
claude-remember 是一个面向编码 Agent 的插件,通过挂接会话生命周期钩子,自动保存会话内容,借助 Claude Haiku 将内容压缩为按日、近 7 天和归档等分层摘要,并在下一次会话启动时自动注入上下文,使 Agent 保留身份设定、历史工作内容和交接信息。它提供 /remember 交接命令和 /remember:doctor 诊断命令,支持 Claude Code、Codex 和 Antigravity CLI 等宿主,默认把记忆存于项目内 .remember/ 目录。
展开详情收起详情:claude-remember:为 Claude Code 等编码 Agent 提供跨会话持久记忆⌄
★ 206 · 可直接使用的工具
GitHub
原文发布:未知收录:2026-11-02
vamsiramakrishnan/gemini-rs · Full Rust SDK for the Gemini Multimodal Live API — wire protocol, agent runtime, and fluent DX in three layered crates.
gemini-rs 是面向 Gemini 多模态 Live API 的 Rust SDK 与运行时,按职责分为三层 crate:gemini-genai-rs 负责 Gemini API 传输与模型类型,gemini-adk-rs 提供状态、流程、工具、抽取与运行时语义,gemini-adk-fluent-rs 提供流式易用编写 API。项目支持文本 Agent、流式聊天、类型化回答、注解式工具、受治理的对话流程、Live 语音会话、电话与 WebSocket 音频传输、离线流程模拟,以及 Flow Studio 可视化编辑和 Rust 代码生成;内置 MockLlm 便于无模型测试。
展开详情收起详情:gemini-rs:Rust 编写的 Gemini 文本 Agent 与实时语音会话 SDK 与运行时⌄
★ 6 · 开发框架
GitHub
原文发布:未知收录:2026-11-02