LLM 驱动的自动漏洞挖掘：从 Fuzzing Harness 生成到崩溃分析的 Agent 系统
深入剖析LLM驱动的自动漏洞挖掘系统——从Fuzzing Harness自动生成、崩溃智能分析到自主变异Agent的工程实战，包含完整代码实现与生产部署经验。
AI-Agent
eBPF 构建 AI Agent 安全沙箱：系统调用过滤、能力降级与运行时监控的工程实践
探讨如何用 eBPF 构建生产级 Agent 安全沙箱运行时，结合能力降级链和自适应策略引擎，实现系统调用层面的微秒级策略决策与动态热更新，在保障 Agent 自由度的同时锁死安全边界。
AI Agent 工具调用的形式化规约与运行时验证：从 TLA 到 Rust 类型状态机的工程实践
探讨如何为 AI Agent 的工具调用建立可证明的安全边界。从 TLA+ 规约建模出发，结合 Rust 类型状态机编译期验证和 WASM 沙箱运行时隔离，构建三层纵深防御体系。
The Tree of Thought: Monte Carlo Tree Search for LLM Reasoning Agents
The Tree of Thought: Monte Carlo Tree Search for LLM Reasoning Agents
TLA+形式化验证AI Agent协议：从规范到反例分析的完整工程实战
本文展示如何用TLA+形式化方法对AI Agent通信协议进行建模、验证和反例分析，结合MCP-like协议实例，给出从PlusCal算法规范、TLC模型检查到反例驱动测试生成的完整工程工作流。
Linux Kernel pidfd timerfd：AI Agent 子进程看门狗工程 —— 无竞态超时与生命周期管理
深入分析 Linux 5.x pidfd 和 timerfd 如何重构 AI Agent 子进程生命周期管理系统，实现毫秒级精度的无竞态超时控制，彻底解决传统 SIGCHLD 模型的竞态与泄漏问题。
AI Agent运行时架构：从Function Calling到多层级ReAct的工程实践
深入解析AI Agent运行时工程架构，从单循环ReAct到多Agent协作的完整工程化路径，涵盖工具注册体系、上下文窗口管理、层级化推理、可靠性工程等核心议题。
MCP 协议在 AI Agent 生产环境中的安全加固实战：零信任鉴权、会话审计与 Prompt 注入防御
深入探讨 MCP 协议在生产环境中的安全加固实战，涵盖零信任双向 mTLS 认证、SPIFFE 工作负载身份、会话级审计日志流和 Prompt 注入防御体系，提供从架构设计到代码实现的完整工程方案。
eBPF 驱动 AI Agent 安全审计：实时行为追踪与异常检测工程实践
当 AI Agent 拥有系统级权限时，传统边界防御已无法提供足够的可见性。本文介绍如何利用 eBPF 实现对 AI Agent 运行时行为的零侵入式追踪，构建从系统调用到 LLM 决策链路的全栈审计体系。
AI Agent 从 Chains 到 Systems：Tool Calling、可观测性与生产稳定性架构实战
当AI Agent从单次问答走向多工具串联的生产级系统，我们面对的核心矛盾不再是模型能不能回答，而是工具调用序列在50次API往返中能否不崩。本文从生产故障模式出发，系统阐述Tool Calling的可靠性保障架构。
