开源 Codex Security 插件可建模威胁并导出修复结果
MaziyarPanahi · x · 2026-07-23
Codex Security 插件重新上线，面向代码库或 diff 工作：它可以构建威胁模型、映射攻击路径、验证漏洞发现、生成并测试修复方案，还能把结果导出到 SARIF、GitHub、Jira 或 Linear。项目同时开源在 GitHub 上。
所属事件:开源 Codex Security 插件回归：主打代码威胁建模(4 条相关)→
「编程与Agent」频道最新
- Cursor 发布 Agent SDK:Markdown 写提示词,TypeScript 定义工具 — soleio · 2026-10-27
- 形式化方法黑客松 Vibecheck 满员:在旧金山给真实软件做形式化验证 — spikedoanz · 2026-10-27
- 医疗 AI agent 输出如何验证?开发者征求单元测试与 LLM 评审之外的方案 — Practical_Green5775 · 2026-10-27
- AI 智能体或成运行代码的唯一方式：鲁棒性远超传统方法 — IgorCarron · 2026-10-27
- 让 Hermes Agent 当 QA：浏览器实测揪出 8 个网站问题 — techlatest_net · 2026-10-27
- 开源 FableCut 用远程 MCP 让 AI Agent 直接剪辑浏览器时间线 — FastPresence9799 · 2026-10-27