The Tree of Thought: Monte Carlo Tree Search for LLM Reasoning Agents
The Tree of Thought: Monte Carlo Tree Search for LLM Reasoning Agents
AI-Agent
eBPF 驱动 AI Agent 安全审计：实时行为追踪与异常检测工程实践
当 AI Agent 拥有系统级权限时，传统边界防御已无法提供足够的可见性。本文介绍如何利用 eBPF 实现对 AI Agent 运行时行为的零侵入式追踪，构建从系统调用到 LLM 决策链路的全栈审计体系。
AI Agent 从 Chains 到 Systems：Tool Calling、可观测性与生产稳定性架构实战
当AI Agent从单次问答走向多工具串联的生产级系统，我们面对的核心矛盾不再是模型能不能回答，而是工具调用序列在50次API往返中能否不崩。本文从生产故障模式出发，系统阐述Tool Calling的可靠性保障架构。
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 注入防御体系，提供从架构设计到代码实现的完整工程方案。
TLA+形式化验证AI Agent协议：从规范到反例分析的完整工程实战
本文展示如何用TLA+形式化方法对AI Agent通信协议进行建模、验证和反例分析，结合MCP-like协议实例，给出从PlusCal算法规范、TLC模型检查到反例驱动测试生成的完整工程工作流。
OAuth 2.1 与 OIDC 深度工程实战：从 PKCE 证明密钥、授权码注入防御到 AI Agent 令牌交换的全链路解析
拆解 OAuth 2.1 的收敛设计：PKCE 的密码学证明过程与授权码拦截防御、重定向 URI 精确匹配与授权码注入攻防、OIDC 层 ID Token 校验的七个陷阱（alg 混淆、jku 注入、aud/iss、at_hash）、刷新令牌轮换与重放检测，以及 AI Agent / MCP 时代的 Dynamic Client Registration 与 RFC 8693 Token Exchange 委托链。附可运行代码与生产检查单。
AI Agent 混沌工程：构建具有故障注入和自愈协议的弹性自治系统
深入探讨AI Agent系统的混沌工程实践：从LLM推理退化、工具调用级联失败、多智能体协作死锁等特有故障模式出发，用Rust实现层次化故障注入框架和自愈协议，构建生产级弹性运行时
AI Agent 长期记忆系统架构实战：从分层存储到神经符号混合检索
为生产级 AI Agent 构建四层记忆架构（工作/语义/情节/程序记忆），探讨向量检索+知识图谱双引擎、渐进式总结、混合检索流水线、记忆反思机制等核心工程实践
