CAIN-42 CAIN StudioCAIN Planner
Turn agent goals into explicit, verifiable, governed execution plans. Memory tells what you know. Skills tell what you can do. Planner determines how.
Planner Statistics
Plan Lifecycle
Plan Operations
Generate an execution plan from a goal. Planner integrates with Memory, Skills, ActionProof, and Governance.
Generate multiple candidate plans and compare them. Exploratory mode produces 3 candidates.
Governed Planning
Every plan is explicit, versioned, and inspectable. Planning is NOT authorization - CAIN decides whether to execute.
Memory Integration
Relevant memories influence planning. Planner tracks which memories were used, rejected, or found contradictory.
Skills Integration
Only ACTIVE skills with valid versions are used. Skill version pinning - no floating "latest" references.
ActionProof Verification
Every plan is verified against formal constraints. UNKNOWN is never treated as ALLOW.