rupakm/leslie

rupakm/leslie

Command Claude Code

IC3/PDR-style inductive invariant inference — find CTIs, dispatch generalizer, grow a structure-based invariant until inductive.

rupakm/leslie

Command Claude Code

Run diagnostic checks on SageOx configuration and integrations.

rupakm/leslie

Command Claude Code

Command "ox-init" from rupakm/leslie, covering common issues, already initialized, permission denied and not a git repository.

rupakm/leslie

Command Claude Code

Load SageOx team context for this AI coworker session.

rupakm/leslie

Command Claude Code

belongs in the ox CLI JSON output (guidance field), not here. Skills are agent-specific wrappers; ox serves all agents (Codex, etc.). --> Abort a session, discarding all local data without uploading to the ledger. This is destructive and cannot be undone. Use /ox-session-stop to save instead.

rupakm/leslie

Command Claude Code

belongs in the ox CLI JSON output (guidance field), not here. Skills are agent-specific wrappers; ox serves all agents (Codex, etc.). --> List recent sessions from the project ledger and offer to view one.

rupakm/leslie

Command Claude Code

Command "ox-session-review" from rupakm/leslie, covering phase 1 — scan & score (read-only), quality signals, removal candidates, missing/poor summary and poor title.

rupakm/leslie

Command Claude Code

belongs in the ox CLI JSON output (guidance field), not here. Skills are agent-specific wrappers; ox serves all agents (Codex, etc.). Exception: Post-Command sections that require agent-side actions (e.g., displaying a notice, generating a summary) are legitimate here. --> Start recording this agent session to the…

rupakm/leslie

Command Claude Code

belongs in the ox CLI JSON output (guidance field), not here. Skills are agent-specific wrappers; ox serves all agents (Codex, etc.). --> Check the status of all active session recordings in this project.

rupakm/leslie

Command Claude Code

belongs in the ox CLI JSON output (guidance field), not here. Skills are agent-specific wrappers; ox serves all agents (Codex, etc.). Exception: Post-Command sections that require agent-side actions (e.g., displaying a notice, generating a summary) are legitimate here. --> Stop recording and save this agent session to…

rupakm/leslie

Command Claude Code

Check SageOx project status including authentication, sync, and daemon health.

rupakm/leslie

Command Claude Code

Command "ox" from rupakm/leslie, covering sageox commands reference, get project conventions, check project health, update conventions and initialize sageox.