AI Agent 工具调用的形式化规约与运行时验证：从 TLA 到 Rust 类型状态机的工程实践
探讨如何为 AI Agent 的工具调用建立可证明的安全边界。从 TLA+ 规约建模出发，结合 Rust 类型状态机编译期验证和 WASM 沙箱运行时隔离，构建三层纵深防御体系。
AI-Agent
AI Agent 长期记忆系统架构实战：从分层存储到神经符号混合检索
为生产级 AI Agent 构建四层记忆架构（工作/语义/情节/程序记忆），探讨向量检索+知识图谱双引擎、渐进式总结、混合检索流水线、记忆反思机制等核心工程实践
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模型检查到反例驱动测试生成的完整工程工作流。
LLM 驱动的自动漏洞挖掘：从 Fuzzing Harness 生成到崩溃分析的 Agent 系统
深入剖析LLM驱动的自动漏洞挖掘系统——从Fuzzing Harness自动生成、崩溃智能分析到自主变异Agent的工程实战，包含完整代码实现与生产部署经验。
