Skill Claude CodeCodex
Install the ATV-Phoenix self-healing harness into GitHub Copilot. Builds the Rust MCP server (if needed) and registers the phoenix agent plus its MCP server so Copilot can call phoenixsense / phoenixsnapshot / phoenixheal / phoenixverifytrace. Use when the user types /phoenix-setup or asks to install or enable Phoenix.
Agent
Cloud worker that makes bounded Phoenix changes and proves outcomes objectively.
Instructions file GitHub Copilot
Instructions for All-The-Vibes/ATV-Phoenix: Read AGENTS.md first. It is the binding build charter and it governs all work here.
Instructions file CodexOpenCode
Instructions for All-The-Vibes/ATV-Phoenix, covering the non-negotiable loop (every change, no exceptions), shipped connector inventory, current verified backlog, do first — connector proof ci enforcement and build vs. run (don't confuse them).
Skill Claude CodeCodex
Dynamic, state-sensing router for autonomous multi-step work — chooses the next Phoenix skill at runtime from the current objective state (what's green/red, what stage, is there a backlog) instead of following a fixed pipeline. This is Phoenix's autopilot. Use for open-ended autonomous execution where the next step…
Skill Claude CodeCodex
Implement one planned step at a time under the verify-heal loop — snapshot before risky edits, make the smallest change, sense the objective check, and heal (rollback or retry) if it goes red. Never advance to the next step on a red check, never claim a step done without a green sense. Use during implementation, or…
Skill Claude CodeCodex
Assemble the cheapest sufficient context for a task — route structural questions (who calls X, what breaks if I change Y, what inherits from Z) to the prebuilt code graph instead of grepping and re-reading files, and pull the relevant subgraph/snippet rather than whole directories. Use on any non-trivial codebase…
Skill Claude CodeCodex
Code-craft guardrails that reduce the most common LLM coding mistakes — think before coding, simplicity first, surgical changes, and verifiable success — gated by objective phoenixsense checks so "simpler" and "done" are proven, not asserted. Grounded in Andrej Karpathy's observations on LLM coding pitfalls. Use when…
Skill Claude CodeCodex
Systematic triage and self-healing when something breaks — reproduce with an objective check first, isolate the cause with the code graph, fix the root not the symptom, and confirm with phoenixsense before claiming it resolved. Use when a test/build is red, a regression appears, or the user says /phoenix-debug, "it…
Skill Claude CodeCodex
Design-engineering craft for interfaces that feel right — the animation decision framework (should it animate at all, what's the purpose, what curve), the invisible details that compound, and a required Before/After review table. Gated where possible by objective checks (lint, build, visual/interaction verification).…
Skill Claude CodeCodex
Diagnose and repair a Phoenix install with the same objective discipline Phoenix gives the agent — check whether the installed agent, skills, and MCP registration match what this build ships, and re-sync any drift with a snapshot-backed fix that is re-verified red→green. Use when Copilot says "No such agent: phoenix"…
Skill Claude CodeCodex
Turn ONE high-level, possibly-vague goal into a runnable, objective acceptance check and a verifiable backlog, then drive it to completion. The critical step is FORMALIZE — deriving an executable done-check before any code, because a goal with no objective acceptance criterion has no honest termination. This is the…
Skill Claude CodeCodex
Decompose a high-level vague intent into N concrete /goal instances (≤5), each with its own phoenixsense acceptance check, proven complete via composite phoenixaccept (all N sawred AND greenafterred AND currentlygreen). Use when a task is multi-faceted (build + integrate + configure + notify) with independent or…
Skill Claude CodeCodex
Run an N-goal DAG under the Phoenix supervisor — dependency-ordered execution with worktree isolation, lease fencing, budgets, a durable run ledger, and per-goal trace chains, on the local machine or dispatched to GitHub Copilot cloud agents. Use when goals have prerequisites, when a failure must contain its blast…
Skill Claude CodeCodex
Produce, validate, and consume Open Knowledge Format (OKF v0.1) bundles — turn Phoenix's code graph (graph.json) into browsable, diffable markdown knowledge, make the skill pack an OKF bundle, and ingest any external OKF bundle as token-cheap progressively-disclosed context. Use when the user says /phoenix-okf…
Skill Claude CodeCodex
Decompose a clear intent into small, individually-verifiable steps before writing code — each step a slice you can prove pass/fail with phoenixsense, ordered so the build stays green between them. Use after phoenix-think, when you have an Intent Contract and need an executable plan, or when the user says…
Skill Claude CodeCodex
Persistence loop that keeps working a backlog until the goal is OBJECTIVELY proven done — not until the agent thinks it's done. Wraps Geoffrey Huntley's Ralph loop (fresh context per iteration, filesystem as memory) with Phoenix's failure-first gate ledger, so completion is derived from the tamper-evident trace, never…
Skill Claude CodeCodex
Review completed work against the Intent Contract's acceptance criteria using objective evidence, not opinion — re-run every check, confirm no regressions, inspect the tamper-evident trace, and surface only real issues (bugs, unmet criteria, regressions). Use before shipping, after a feature is built, or when the user…
Skill Claude CodeCodex
The core verify-then-heal loop usable on its own for any change with a checkable outcome — sense success objectively, snapshot known-good state, and recover (bounded rollback or retry) when a check goes red, confirmed by an external recheck. Use whenever you make a change that has a runnable test/build/lint, or when…
Skill Claude CodeCodex
The final gate before declaring a task done — run the acceptance check one last time, verify the tamper-evident trace is intact, and report success only on green evidence with the proof attached. Use as the last step of any task, before merging or telling the user it's complete, or when the user says /phoenix-ship…
Skill Claude CodeCodex
Drive development and bug-fixing with tests where the test IS the objective phoenixsense gate. Write a failing test before the code, reproduce a bug with a test before fixing it, and let phoenixsense decide pass/fail — never "looks right". Use when implementing logic, fixing a bug, changing behavior, or when the user…
Skill Claude CodeCodex
The thinking-first stage of the Phoenix lifecycle. Before any code, deeply understand what is actually wanted through Socratic deep interview and evidence-grounded deep research, surface and resolve hidden assumptions, and converge on a crystal-clear intent whose deliverable is a runnable objective acceptance check.…
Skill Claude CodeCodex
TypeScript craft where the type-checker IS the objective gate — treat tsc --noEmit as a phoenixsense check, work strict, derive types instead of duplicating them, and eliminate any/unsafe casts. Grounded in Mat Pocock's (Total TypeScript) philosophy that types exist to power a fast feedback loop. Use on any…
Skill Claude CodeCodex
The meta-skill that routes a task to the right Phoenix lifecycle skill and enforces the non-negotiable operating laws. Use at the start of any session or task to decide which Phoenix skill applies. Phoenix is a self-healing, token-efficient engineering harness — every stage verifies its work with an objective check…