← all publishers

corygabrielsen

@corygabrielsen source repo

Report this profile Claim this profile

• 17 skills
• 0 followers
• 1 week ago last updated

1. ▌
   Perspectives Algebras Solve · corygabrielsen

   Widen, model, then prove. Runs /perspectives → /algebras → /solve in sequence, each stage feeding the next — multi-stakeholder framing, then a survey of candidate algebras that could model the problem, then a proof against the chosen algebra's invariants.
   1 install
2. ▌
   Socratic · corygabrielsen

   Reveal user intent through narrowing questions, increasingly specific, with opinionated defaults when asked.
   1 install
3. ▌
   Denarrate · corygabrielsen

   Strip narrative mode from descriptive artifacts. Comments describe state and intent — they don't tell stories.
   1 install
4. ▌
   Postmortem · corygabrielsen

   Write a structured postmortem for an incident. Thorough root cause analysis, not a dismissive summary.
   1 install
5. ▌
   Pr Fitness · corygabrielsen bundle

   Live PR merge readiness assessment. Queries GitHub APIs in parallel, computes blockers, and returns a structured report with action plan.
   1 install
6. ▌
   Precompact · corygabrielsen

   Persist current session knowledge to durable storage. Update memory files, clean stale state, ensure what you know is written down.
   1 install
7. ▌
   Postcompact · corygabrielsen

   Recover nuance lost during conversation compaction by reading the full transcript via a subagent.
   1 install
8. ▌
   Migrate Memory · corygabrielsen bundle

   Push the current session's accumulated memory to a target project dir before spawning a fresh claude session there. One-shot snapshot; no live sync; no symlink.
   1 install
9. ▌
   Loop Codex Review · corygabrielsen

   Automated code review loop with progressive reasoning levels. Runs n parallel Codex reviews (configurable via -n), Claude addresses issues, climbs from low→xhigh reasoning until fixed point (all n clean). Human approval at each iteration.
   1 install
10. ▌
    Ooda Pr Codex Review · corygabrielsen bundle

    Drive a PR through observe → orient → decide → act, optionally with local codex review running on the same OODA tick. Each invocation produces exactly one Outcome the caller dispatches on. 1:1 variant-to-exit-code; dispatch on `$?` alone.
    1 install
11. ▌
    Prove · corygabrielsen

    Produce a formal symbolic proof that something is correct, optimal, or complete. Traces all paths, names all invariants, ends with QED or a counterexample.
    1 install
12. ▌
    Solve · corygabrielsen

    Think deeply about a problem, find the right solution, then prove it correct. Rigor over speed.
    1 install
13. ▌
    Distill · corygabrielsen

    Strip overspecified instructions from an artifact. Trust the model's intuition — prescribe intent, not format.
    1 install
14. ▌
    Ooda Pr · corygabrielsen bundle

    Drive a PR through observe → orient → decide → act. Each invocation produces exactly one Outcome the caller dispatches on. 1:1 variant-to-exit-code; dispatch on `$?` alone.
    1 install
15. ▌
    Tighten · corygabrielsen

    Strip an artifact to its load-bearing words. Specification voice, not explanation voice.
    1 install
16. ▌
    Converge · corygabrielsen bundle

    Observe→decide→act loop. Halts on target, stall, cap, or human/agent delegation.
    1 install
17. ▌
    Ooda Prs · corygabrielsen bundle

    Drive N PRs through observe → orient → decide → act in parallel. Each invocation produces one MultiOutcome the caller dispatches on. Aggregate priority projection on `$?`; per-PR records on stdout (JSONL); per-PR variant blocks on stderr.
    1 install