oritera/Cairn

解决的问题

Cairn 是一个通用的问题求解引擎，专为在近乎无限的状态空间中进行有方向性的搜索而设计，已知起点和目标，但通往目标的路径未知。虽然主要在 AI 渗透测试中验证，但也适用于漏洞研究、数学证明和 CTF 挑战。

工作原理

Cairn 使用黑板架构和事实-意图图来协调代理。它基于三个基本原语运行：

• 事实：已确认的客观发现。
• 意图：声明的探索方向。
• 提示：人类判断注入到系统中的内容。

代理工作器执行 OODA 循环（观察、定向、决策、行动）以探索状态空间。它们通过共享的黑板（刺激性）进行协调，而非直接通信。系统由 Cairn 服务器（维护图结构）、调度器（负责任务调度和容器管理）以及运行多个代理的工作者容器组成。

适用人群

专为安全研究人员、渗透测试人员以及需要自主 AI 代理发现通往特定目标路径的复杂状态空间搜索问题的用户设计。

主要亮点

• 无角色代理：工作器没有固定角色；任务在运行时根据图的当前状态动态生成。
• 定制化架构：采用黑板架构，避免信息孤岛和代理间的直接通信。
• 经验证的性能：在腾讯云黑客松 AI 渗透测试挑战赛中，唯一实现「AK」（全部 54/54 题解决）的团队。
• 灵活执行：支持基于 Docker 的容器执行，也支持本地模式，可在主机上直接运行工作器。