tkersey/dotfiles

learnings

Capture or recall evidence-backed execution learnings. Use when observed evidence changes a reusable decision, reveals a durable footgun, or corrects a prior learning; also for lessons learned, learning recall, or memory admission and supersession. Delivery…

Idioma do texto original: inglês

metanoetic

Reconsider task framing when assumptions, repeated repair or accretion, contradictions, high-regret commitments, or an apparently limited solution space may hide a better approach. Use for `$metanoetic`, task-grounded reframing, or pressure to remove burdens…

Idioma do texto original: inglês

negative-ledger

Recall prior attempts, or check relevant failure evidence before selecting or retrying a route. Use for failures, no-effect attempts, regressions, reverts, or abandoned strategies that can change future routing, and for negative-evidence lifecycle changes or…

Idioma do texto original: inglês

universalist

Use algebraic and categorical reasoning to derive simpler correct solutions. Invoke when design, implementation, review, or simplification requires deriving or reconsidering behavior, algorithms, representations, composition, observations, effects, ownership,…

Idioma do texto original: inglês

actuating

Implement accepted goals, analyze counterexamples, or close out reviewed changes. Derive law-preserving constructions from requirements and counterexamples. Unqualified review or analysis is read-only.

Idioma do texto original: inglês

elenctic

Explicit-only PR review: adjudicate prior threads, review unchecked (or explicitly all-changed) files and causal consequences, and return evidence-backed findings with a pragmatic default merge policy; request pedantic for stricter engineering gates. Request…

Idioma do texto original: inglês

ergasterion

Explicit-only implementation and review composition. Reuse Actuating construction; by default review the same candidate with Architectonic then Elenctic, aggregate both, and close out supported corrections. Select combined, native Actuating, architectural, or…

Idioma do texto original: inglês

ledger

Operate Ledger for owner-defined artifact validation, materialization, personal custody, migration, and recovery. Use for runtime bootstrap, passive definitions, stable store selection, or explicit historical import; not merely because work creates history or…

Idioma do texto original: inglês

review-fold

Classify and quotient current review findings, tests, incidents, and other witnessed falsifiers while preserving original provenance. Decide current applicability and whether each proposed law is entailed by the accepted Goal, a strengthening, preference, new…

Idioma do texto original: inglês

tune

Create, edit, and tune Codex skills; diagnose and improve software and agent latency, throughput, memory, cost, reliability, and task quality from measured evidence. Not unrelated feature development or cosmetic edits.

Idioma do texto original: inglês

synesthesia

Translate software and architecture into sensory models and back into precise engineering meaning. Use for explicit sensory explanations or renditions, compare-by-feel requests, concrete representational ambiguity, and reuse or revision of established sensory…

Idioma do texto original: inglês

architectonic

Explicit-only architectural review of a PR, subsystem, repository, or proposed design. Reconstruct obligations and interactions, challenge the decomposition, and use Universalist for bounded constructive alternatives. Return evidenced findings and, for PRs,…

Idioma do texto original: inglês

cas

Operate the CAS Codex control-plane CLI: app-server, automations, account/goal facts, reviews, session inquiry, smoke/conformance checks, and instance fanout. Callers retain semantic authority.

Idioma do texto original: inglês

deckset

Create Deckset markdown presentations and speaker notes from conversation context. Use for explicit Deckset requests, markdown slide decks, or edits to an existing Deckset deck. PowerPoint and Google Slides artifacts belong to the presentations skill.

Idioma do texto original: inglês

lean

Use for deliberate Lean 4 work: proof repair, theorem development, verified programs, model/specification design, external-code models, state-machine or trace invariants, termination proofs, Std/mathlib theorem discovery, Lake/toolchain diagnosis, and…

Idioma do texto original: inglês

memory-source-notes

Transport source-approved Learnings, Negative Ledger, and Synesthesia admissions through validated adapters to the native memory-note CLI; inspect selected memory layouts, copy extension instructions, and reconcile canonical records with immutable notes and…

Idioma do texto original: inglês

plan

Produce or revise a self-contained execution specification from an objective or candidate spec, including migration, proof, and rollback planning. Not implementation, debugging, generic review, explanation, or divergent options.

Idioma do texto original: inglês

seq

Reconstruct provenance-preserving observations from Codex and OpenCode execution/session evidence with Seq 1.x. Use for explicit `$seq`, session/tool/message forensics, skill activation and outcome audits, decision provenance, `$tune` evidence,…

Idioma do texto original: inglês

ship

Create, update, or promote a pull request for validated work without merging. Also observe or adopt an exact already-public subject when Actuating explicitly hands off that route.

Idioma do texto original: inglês

first-principles

Run one explicit first-principles pass verbatim, rebuilding the target axiomatically from its irreducible outcome, established facts, necessary constraints, invariants, and causal mechanisms rather than inherited assumptions, conventions, analogies, or the…

Idioma do texto original: inglês

reduce

Audit over-engineered codebases by factoring layers into live obligations, quotienting redundant distinctions, ablating unearned surface, and normalizing the survivors while preserving required behavior. Use when change latency or agent difficulty comes from…

Idioma do texto original: inglês

prove-it

Adversarially adjudicate a concrete claim for explicit `$prove-it` or equivalent claim stress-testing intent. Certainty words, quoted instructions, and ordinary rigor, implementation, or review alone do not activate.

Idioma do texto original: inglês

zig

Implement, debug, review, migrate, and optimize Zig code and build systems. Use when the task requires Zig-specific language or toolchain expertise.

Idioma do texto original: inglês

glaze

Raise ambition and resourcefulness when current work settles for adequacy, accepts an assumed limit too readily, or leaves important possibilities unexplored. Use for `$glaze` or task-relevant ambition escalation. Apply the canonical encouragement unchanged…

Idioma do texto original: inglês

grill-me

Reduce unresolved user-owned judgments before planning or implementation. Research discoverable facts, resolve model-owned technical choices, order remaining decisions by dependency, ask only the material current frontier, and route questions that…

Idioma do texto original: inglês

codebase-doctrine

Derive or refresh durable, evidence-backed repository doctrine, including correctness atlases, doctrine audits, task-context projections, and repository-skill recommendations. Not quick onboarding, ordinary implementation, or generic review.

Idioma do texto original: inglês

creative-problem-solver

Generate a compact five-tier strategy portfolio when the next task is choosing among materially different paths. Implicitly invoke for explicit requests for options, alternatives, trade-offs, reframing, or help escaping repeated failure. A name-only or meta…

Idioma do texto original: inglês

ergon

Use for durable dependency-aware work tracking: create, close, reopen, link or unlink task prerequisites, and inspect ready work, exact blockers, task dependencies, or task history. Invoke explicitly with $ergon or implicitly when the request calls for…

Idioma do texto original: inglês

land

Safely finish an explicitly selected GitHub PR: reconcile every unresolved review thread, bind each successor head as a fresh landing epoch, verify merge admission, merge the exact approved head or wait for queue/auto-merge completion, prove live MERGED…

Idioma do texto original: inglês