AICoder

AI 编程实时动态与要闻

基于 𝕏 (Twitter) 权威实验室与科学家一手信源，经 AI 降噪提炼核心事实，联动全网模型评测与智能体生态。

在 𝕏 上探索最新发文 ↗

AI 编程实时动态与要闻

C
Chainguard@chainguard_dev·
👀82
🔥86

Chainguard 推出四套 MCP 服务器：让编码 Agent 实时查镜像/APK/EOL/策略，服务端治理替代提示词护栏

Chainguard 于 2026-10-14 宣布四套面向 Agent 供应链的 MCP 服务器正式对企业客户 GA：cg-oci（镜像 manifest/SBOM/证明）、cg-apk（Wolfi 包等价查找）、cg-versions（上游版本与 EOL）、cg-api（组织策略与认证）。任意 MCP 客户端（Claude Code、Cursor 等）经 OAuth 接入；响应分页与上限在服务端执行，避免 Agent 幻觉标签或拉入过期包。可与此前同日发布的 Harness/Checks/Workspaces 互补，把依赖选择直接接到实时产品数据。

Chainguard 推出四套 MCP 服务器：让编码 Agent 实时查镜像/APK/EOL/策略，服务端治理替代提示词护栏

核心要点速览

  • 四服务器：https://cgr.dev/mcp、apk.cgr.dev/mcp、versions.cgr.dev/mcp、console-api.enforce.dev/mcp；Streamable HTTP + OAuth 2.0
  • 能力：查镜像 SBOM/证明、Debian→Wolfi 包名映射、上游是否 EOL、组织策略与 advisories——数据来自实时产品而非模型记忆
  • 治理：服务端分页（默认约 25–50，最大 200）与响应上限，降低上下文膨胀；cg-api 按 token 能力动态裁剪工具列表
  • 无头环境：chainctl auth login --audience=<mcp-url> + headersHelper 注入 Bearer，避免 Claude Code OAuth 约 1 小时过期反复弹窗
  • 附加：文档 MCP mcp.edu.chainguard.dev 免登录；Skills MCP skills.cgr.dev/mcp 可按需加载 hardening skills
阅读全文
关联模型 / 智能体 / 厂商:
🤖 Claude Code🤖 Cursor🤖 Kiro🌐 Chainguard🌐 Anthropic🌐 Cursor
#Chainguard#MCP#SBOM#Wolfi#供应链#Agent 安全#Claude Code#Cursor
S
SUSTech System Security Group@HuggingFace·
👀65
🔥94

南方科技大学提出 ActGov：基于 SMT 形式化策略校验的 Agent 运行时治理框架，彻底阻断间接提示注入

南方科技大学系统安全研究团队联合发布自主智能体运行时防护框架 ActGov（arXiv:2609.24446）。针对 LLM Agent 在长程复杂任务中调用外部工具时易受不可信输出影响并突破授权边界（如间接提示注入导致恶意删除数据或转账）的核心威胁，ActGov 构建了兼具静态 SMT 形式化验证与动态运行时拦截的双层防护网。系统将工具调用转化为有限策略记录，并在操作生效前进行毫秒级权限边界核验。在业界权威安全基准 AgentDojo 与 AgentDyn 的多模型跨攻击测试中，ActGov 在保持 100% 任务正常可用性的同时，将间接提示注入攻击的成功率压制至近乎为零，显著超越现存所有基于静态提示过滤的防御方案。

南方科技大学提出 ActGov：基于 SMT 形式化策略校验的 Agent 运行时治理框架，彻底阻断间接提示注入

核心要点速览

  • 形式化 SMT 策略合成：ActGov-Policy 基于工具规范与反例检测，通过 SMT 求解器自动化生成并验证无冲突的精确授权策略集
  • 零信任操作前拦截：ActGov-Runtime 在每个工具调用造成外部实际副作用（Side Effects）前进行微秒级抽象核验，非合规操作硬性拦截
  • 不依赖大模型自觉：彻底摆脱传统防御依赖“让 LLM 自己判断指令是否恶意”的脆弱逻辑，在计算图外部建立不可逾越的确定性防线
  • 攻防基准全面压制：在 AgentDojo 与 AgentDyn 跨模型测试中，攻击成功率降幅超 92%，正常良性任务完成率保持 0 衰减
  • 长程动态分支适配：原生支持跨数十个工具调用的复杂长程任务，自动维系任务生命周期内的动态授权边界
阅读全文
关联模型 / 智能体 / 厂商:
⚡ GPT-4o⚡ Claude 3.5 Sonnet⚡ Llama-3🤖 ActGov Runtime🤖 Tool Agent🌐 SUSTech🌐 AgentDojo
#AI 安全#提示词注入#Agent Governance#形式化验证#SMT#工具调用
J
JetBrains@jetbrains·
👀56
🔥93
查看推特原帖 ↗

JetBrains 推出 Air：面向智能体时代的开放产品体系，连接开发者、团队与治理

JetBrains（@jetbrains）宣布 JetBrains Air：一套面向智能体软件开发的开放产品体系，把 IDE 内的智能体编排、团队协作与组织级治理（原 JetBrains Central）收拢到同一叙事。Air 强调多厂商：可在 JetBrains IDE 中编排 Claude、Codex、Gemini CLI 与自研 Junie 等智能体，并以 Agent Client Protocol（ACP）对接兼容 harness；官方博客同步说明 Air Teams 与 Air Governance 的分工。

JetBrains 推出 Air：面向智能体时代的开放产品体系，连接开发者、团队与治理

核心要点速览

  • Air 把 IDE 智能体体验、团队协作与组织治理收成一套开放产品体系。
  • 支持在 JetBrains IDE 内编排多厂商智能体（含 Junie），并以 ACP 对接兼容 harness。
  • Air Governance（原 Central）负责策略、可见性、审计与 AI 成本管控。
阅读全文
关联模型 / 智能体 / 厂商:
🤖 junie🌐 jetbrains
#JetBrains Air#ACP#Junie#agentic IDE#治理
A
Average AI Bro@AverageAiBro·
👀39
🔥92
查看推特原帖 ↗

GitLab 19.4 扩展 MCP：智能体可跑流水线、开合 MR，写入默认 Always ask

@AverageAiBro 介绍 GitLab 19.4：GitLab MCP 从只读查询扩展到完整闭环——保存流水线、拉 job 日志、开/改/审/合 MR、工作项、提交，以及 Ultimate 漏洞工具。同一版本把治理带到 MCP：只读默认 Always allow，写入与删除默认 Always ask，覆盖 Duo 与第三方 MCP 客户端。

核心要点速览

  • MCP 工具覆盖流水线、job 日志、MR 全流程与漏洞工具，而不只是查询。
  • 治理随爆炸半径：写入/删除默认 Always ask，只读 Always allow。
  • 官方博文说明自动化 MCP 工具与对 Duo/第三方客户端的统一策略。
阅读全文
关联模型 / 智能体 / 厂商:
🤖 Claude Code (Anthropic)🤖 Cursor Composer (Agent Mode)🌐 gitlab
#GitLab#GitLab 19.4#MCP#Duo#MR automation#治理#Always ask
AD赞助内容
R
Replit@Replit·
👀50
🔥87
查看推特原帖 ↗

Replit Agent 新增 Custom Connectors，并为企业扩展 65+ 审计日志事件

Replit 周报宣布 Agent 支持 Custom Connectors，可连接其集成库之外的外部 API；企业版同时新增 65 个以上覆盖项目、部署、安全、SSO/SCIM、连接器、密钥与 Agent 活动的审计日志事件。更新让代理更容易接入内部系统，也让企业治理和追踪更完整。

核心要点速览

  • Custom Connectors 允许 Replit Agent 接入集成库之外的外部 API。
  • 企业审计日志新增 65 个以上事件，覆盖项目、部署、安全、SSO/SCIM、连接器、密钥与 Agent。
  • 代理扩展能力与企业治理能力同步升级，便于接入内部工作流并追踪操作。
阅读全文
关联模型 / 智能体 / 厂商:
🌐 replit
#Replit#Replit Agent#Custom Connectors#audit logs#企业级#API integrations
A
Agent Engineering Digest@agentdigest·
👀47
🔥91
查看推特原帖 ↗

全球开发智能体核心循环趋于收敛，行业竞争转向「工作流编排与上下文治理」

最新前沿行业调研指出，全球主流 Coding Agent（Claude Code、Cursor、Aider 等）在「阅读工程-文件修改-运行验证」的基础闭环架构上已高度收敛。新一轮竞争焦点彻底转向长程多任务的工作流编排（Orchestration）、项目级记忆持久化（Persistent Context）与沙箱自动防漂移能力。

核心要点速览

  • 单模型在代码语法补全层面的差异逐渐被抹平
  • 工作流编排能力（DAG 拓扑、多智能体并发调度）成为决定复杂任务成功率的核心
  • 项目级长期记忆（Persistent Context）与状态自愈机制成为顶级工具分水岭
阅读全文
关联模型 / 智能体 / 厂商:
🤖 Claude Code🤖 Cursor Projects🤖 Aider🌐 Anthropic🌐 Cursor
#编程智能体#编排#Context Governance#软件工程#Agent 架构
G
Google DeepMind@GoogleDeepMind·
👀53
🔥95
查看推特原帖 ↗

Google DeepMind 正式成立 DeepMind Institute (DMI)，统筹 AGI 安全与社会影响研究

Google DeepMind 宣布成立 DeepMind Institute（DMI），由 Demis Hassabis、Shane Legg 与 James Manyika 共同领导。DMI 旨在搭建跨学科研究智库，汇聚全球顶尖学者与政策制定者，针对 AGI 安全风险、治理规范及对人类社会经济的深远影响展开前沿探索与对齐理论研究。

核心要点速览

  • 由 Demis Hassabis、Shane Legg 与 James Manyika 联合挂帅领衔
  • 重点聚焦 AGI 临界点的安全评估、系统性对齐方案与跨学科政策标准
  • 面向全球顶尖学者与监管机构建立开放合作与论文思想库平台
阅读全文
关联模型 / 智能体 / 厂商:
⚡ Gemini 4🌐 Google🌐 DeepMind
#Google DeepMind#DeepMind Institute#AGI Safety#AI 对齐#政策
D
Databricks@databricks·
👀49
🔥88
查看推特原帖 ↗

Databricks：GPT-6 Astra 日零上线 Unity Gateway，办公/文档评测称 SOTA

Databricks 宣布 OpenAI GPT-6 Astra 以日零发布形式登陆平台，经 Unity Gateway 调用即可用于生产数据上的 agentic 推理：内部评测称在 OfficeQA Pro、OfficeQA Pro V2 与 Document Processing 上达到领先质量与效率，并复用既有治理、审计与成本管控（与 Claude、Gemini、Grok 等同一通道）。文档已给出接入说明。

核心要点速览

  • 上线：Astra 经 Unity Gateway 日零可用，面向生产数据场景。
  • 评测：官方称 OfficeQA Pro / V2 与文档处理达 SOTA 质量与效率。
  • 治理：与 Claude、Gemini、Grok 等同通道的审计与成本控制。
阅读全文
关联模型 / 智能体 / 厂商:
🌐 OpenAI
#Databricks#GPT-6 Astra#OpenAI#Unity Gateway#OfficeQA#agentic reasoning
D
Databricks@databricks·
👀50
🔥88
查看推特原帖 ↗

Databricks Day-0 上线 Gemini 3.8 Flash：可直接跑在 Lakehouse 数据上

Databricks（@databricks）宣布 Gemini 3.8 Flash 正式上线：称其在内部文档解析与 OfficeQA Pro 基准上表现突出，可直接在 Lakehouse 数据上调用，并通过 Unity Gateway 统一治理，支持在自定义 AI 应用间监控、扩缩与路由。

核心要点速览

  • Gemini 3.8 Flash 在 Databricks 实现 Day-0 可用，面向企业数据场景。
  • 可直接在 Lakehouse 数据上调用，并用 Unity Gateway 做统一治理。
  • 支持跨自定义 AI 应用监控、扩缩与模型路由。
阅读全文
关联模型 / 智能体 / 厂商:
⚡ Gemini 3.8 Flash🌐 Google DeepMind🌐 databricks
#Gemini 3.8 Flash#Databricks#Lakehouse#Unity Gateway#OfficeQA Pro#Day-0
已呈现全部最新动态