新闻、仓库与研究，按时间排列。
lambdasec 在 GitHub 开源 Frame，一个结合可靠静态分析与 LLM 推理的安全 Agent，用污点分析加分离逻辑与 Z3 证明漏洞可达，可选 LLM 层补充检测、验证并生成补丁。支持 Python、JavaScript/TypeScript、Java、C# 和 C/C++ 五种语言的跨文件污点追踪，内置 70+ 框架 pack，检测 80+ 漏洞类别。基准显示在 Endor Labs 语料上 recall 0.67、precision 0.51（Semgrep 为 0.52 / 0.40），LLM 层可运行本地 mlx-community/Qwen3.6-35B-A3B-OptiQ-4bit 或托管 GLM-5.2，并提供 --changed 与 baseline 工作流用于 CI 门禁。
推荐理由：把污点分析、分离逻辑证明与可选 LLM 层组合成一个安全 Agent，基准数据里也标出了输给对手的案例，可作选型参考。
GitHub 上的 solve-ai-ctf 是一个 AI 驱动的 CTF 解题工作台，覆盖分诊、假设、有界执行、验证、提交、复盘全流程留痕。项目用纯 Python 标准库实现、零 pip 依赖，内置本地 Web 工作台、Docker 沙箱执行、Flag 自动识别与抢一血式自动提交，支持 misc/crypto/pwn/web/reverse/forensics/ai 七类题型，附 24 份知识库参考文档，仅限授权的 CTF 比赛与安全研究使用。
faithdroid 是一个 GitHub 仓库，包含一篇硕士论文，提出用本地 LLM 做成本感知的 Android 恶意软件检测。模型生成的解释会被自动检查忠实性（faithfulness），数据集与实验涉及 KronoDroid 和概念漂移（concept drift）处理。
GitHub 开源项目 plc-guard 用规则检查器加 LLM 检测和修复 IEC 61131-3 Structured Text PLC 代码中的安全漏洞。规则检查器在原始数据集上 F1 达 1.00，变量重命名后降至 0.71；NVIDIA Nemotron 3 Ultra 零样本检测在混淆数据集上保持 1.00 recall，但 F1 为 0.69 ± 0.05，误报较多。项目含 85 个离线测试、Streamlit UI、缓存回复保证可复现，计划扩展到 30+ 数据对并支持 Gemini 和 OpenRouter。
Google 开源的 Mantis 是一套技能（skills）加 ADK 参考实现的工具包，覆盖威胁建模、代码审查、漏洞研究、修补到报告的完整安全流程。它支持 `./run.sh --focus` 指定目标、`--exclude` 排除目录、`--max-tokens` 设定花费上限及并行扫描，并通过研究图合成动态生成 agent-graph 拓扑。仓库强调需在隔离环境使用，AI 发现须经安全专家人工验证，PR 扫描尚未实测、不可用于合并门禁。
GitHub 仓库 TerminusBoulder/Universal-Game-Mashup-Studio 是一个 AI 驱动的工具包，用于制作 passthrough mod——让两款游戏（如 Skyrim × Minecraft、GTA V × Minecraft）通过共享内存桥同时运行，一款处理物理与背包逻辑，另一款负责渲染与任务。它提供双游戏运行时、AI 资产生成（2D 精灵、Image-to-3D、音频）、逆向工程工具（ILSpy、Ghidra 集成）和 12 个引擎 playbook，内置反作弊检测与存档备份，仅限单机离线使用。
xywen97 在 GitHub 发布 SideTaskBench，用于评测 Coding Agent 在修复用户仓库时是否会被参考资料引导执行未经授权的第三方旁支任务，包含 25 个主任务、30 个原子任务和 25 个 host-tailored 单元。主表显示 wrapped 条件下 DeepSeek-V4-Flash 与 Qwen3.8-Max 的旁支任务实际交付率均约 40%，主任务通过率保持稳定；加入授权边界提示后 DeepSeek-V4-Flash 交付率降至 0%，Qwen3.8-Max 降至 21.88%；重复采样放大风险，8 次预算下 96% 的配对至少被成功完成一次旁支交付。
推荐理由：给出可复现的实验设计和主表数据，读者可以对照自己使用的 Coding Agent 评估旁支任务风险和边界提示的实际效果。