← all publishers

tkersey

@tkersey source repo

Report this profile Claim this profile

• 33 skills
• 0 followers
• 6 hours ago last updated

1. ▌
   Cas · tkersey bundle

   Use the native CAS Codex control-plane CLI for app-server inspection and transport, account and goal facts, automations, smoke and conformance checks, instance fanout, tuple-bound reviews, and session inquiry. CAS owns execution and directly observed facts; callers retain semantic authority.
   0
   installs
2. ▌
   Seq · tkersey bundle

   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, `$retrace` source observations, watched-session deltas, worker attribution, or reproducible historical reports. Use native commands only for physical session structure; use the owning passive observation definition for every higher-level question.
   0
   installs
3. ▌
   Zig · tkersey bundle

   Use for Zig 0.16.0 implementation, review, migration, build/package, comptime/codegen, formatting/lint, testing/fuzzing, profiling, hazardous low-level code, FFI/layout, concurrency, cache operations, boundedness/assertion/control-flow review, and semantic failures involving proof binding, borrowed-lifetime escape, fallible mutation atomicity, parser/verifier completeness, repository contract drift, or stale proof context. Verify the installed Zig version before version-sensitive work.
   0
   installs
4. ▌
   Land · tkersey bundle

   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 state, and then clean remote/local branches and associated worktrees. Use only for explicit `$land` or unmistakable merge/land intent. Do not use merely to watch CI, close an unmerged PR, delete a branch, sync local state, or open/update a PR.
   0
   installs
5. ▌
   Lean · tkersey bundle

   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 high-assurance trust audits. Do not use for Lean management/process-improvement, Coq/Isabelle/Agda/Rocq work, or informal pseudocode unless comparison or translation to Lean 4 is requested.
   0
   installs
6. ▌
   Lift · tkersey bundle

   Performance optimization with measurement-driven latency, throughput, memory/GC, tail, algorithmic, systems, and micro-architectural work; profile evidence, score-gated experiments, behavior proofs, golden oracles, and regression guards. Use for optimize, speed up, reduce p95/p99, increase throughput/QPS, lower CPU/memory/allocations/GC/syscalls/round trips, profiling, bottlenecks, algorithmic improvement, or benchmarked perf passes. Without a runnable workload, operate in labelled UNMEASURED mode with exact benchmark/profiling/proof commands. Prove Zig-only bench_stats/perf_report CLI iteration before shipping.
   0
   installs
7. ▌
   Plan · tkersey bundle

   Govern candidate specifications against user authority and repository evidence, then produce one self-contained, architecture-aware execution specification. Bare `$plan` defaults to spec-to-plan and human output, without EPG or Ledger. Use `$plan direct` only for accepted decision-complete intent, and `$plan revise` for an existing plan identity. Export EPG-v1 only for explicit machine-readable output or EPG persistence. Implicitly invoke for detailed specifications, execution plans, migrations, proof/rollback planning, and plan revision; never seize implementation, debugging, review, explanation, or divergent options.
   0
   installs
8. ▌
   Ship · tkersey bundle

   Finalize validated work into proof-backed public state without merging, and return immutable Ship-owned publication evidence without taking architecture, review, or closure authority. Use for $ship, opening or updating a PR, promoting a draft, or read-only observing and adopting an exact already-public subject through an Actuating handoff.
   0
   installs
9. ▌
   Tune · tkersey bundle

   Create, directly edit, or evidence-tune Codex skill packages. Use for new skills, explicit skill surgery, regressions, or intended-vs-observed skill behavior. Infer create, edit, or tune mode; preserve progressive disclosure and stable contracts; select the semantically weakest valid intervention before minimizing the diff; and mutate or publish only with corresponding authority.
   0
   installs
10. ▌
    Ergon · tkersey bundle

    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 maintaining or querying a durable task graph. Ergon owns a passive Ledger definition; Ledger enforces the task graph atomically.
    0
    installs
11. ▌
    Glaze · tkersey bundle

    Raise solution ambition when candidate generation is timid or an adequate approach may leave substantial value unrealized. Use for `$glaze` or selective ambition escalation. Apply the canonical encouragement unchanged for one candidate-generation pass; broaden what is attempted, not user-owned scope or claim strength. The receiving task owns selection and proof. For implicit use, skip routine or already-dispositive work.
    0
    installs
12. ▌
    Ledger · tkersey bundle

    Ensure Ledger 1.0.3 or newer within major version 1 is available and use its passive-definition runtime to validate, canonicalize, materialize, transact, replay, project, doctor, bind, rebind, and recover owner-defined artifacts and stores. Use for native Ledger operations, definition authoring or debugging, ABI and capability inspection, and exact storage custody. The owning skill supplies semantics and selects the operation; Ledger enforces the selected definition without acquiring workflow authority.
    0
    installs
13. ▌
    Reduce · tkersey bundle

    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 frameworks, plugins, DI, codegen, task runners, config indirection, ORMs, GraphQL, monorepo or infrastructure tooling, web stacks, or requests to remove layers. In Actuating composition, classify enforcement sites before challenging candidates that preserve the same invalid region while adding or relocating compensating detection; never remove legitimate derived trust-boundary guards as residue.
    0
    installs
14. ▌
    Deckset · tkersey bundle

    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.
    0
    installs
15. ▌
    Elenctic · tkersey bundle

    Explicit-only Elenctic runs an exact-head PR review campaign for the current branch or an explicit PR, forking prepared file reviewers with at most 20 active at once, reconciling their evidence, and projecting accepted complete reviews to Viewed. Finish with real blockers or scoped approval; never edit code, post comments, submit reviews, approve, or merge.
    0
    installs
16. ▌
    Emulator · tkersey bundle

    Define, compile, run, mutate, compare, and export total synthetic or partial session-derived agent environments. Use for `$emulator`, executable synthetic worlds, session-derived environment atlases and correction charts, fresh baseline/candidate harness comparisons, or environment-backed EER-v1, preference, and trajectory exports. Physical session queries belong to Seq. Never treat historical actions as expert labels, invent unsupported transitions, or mutate a live harness without separate authority.
    0
    installs
17. ▌
    Grill Me · tkersey bundle

    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 conversation cannot settle to the smallest deciding observation. Use explicitly for `$grill-me` or implicitly only when a non-discoverable user-owned decision materially blocks the requested outcome. Do not seize direct implementation when safe reversible defaults suffice.
    0
    installs
18. ▌
    Prove It · tkersey bundle

    Adversarially adjudicate a concrete claim when explicitly requested with `$prove-it` or equivalent claim stress-testing intent. Certainty words and ordinary implementation or review alone do not activate. Rounds 1-9 are independent lens packets produced concurrently by the reusable prove_it_lens custom agent; round 10 is the prove_it_oracle custom agent that runs only after all nine packets return and owns the final verdict plus final response text.
    0
    installs
19. ▌
    Actuating · tkersey bundle

    Implement accepted Goals and turn cumulative counterexamples into repository-native constructions that exclude failure families. Infer the enabling mechanism, challenge the incumbent when warranted, preserve required-valid behavior, migrate sanctioned paths, and retire redundant compensation. Git owns realization; verifiers own proof; Review Fold owns counterexample admission; CAS owns reviews; Ship owns publication.
    0
    installs
20. ▌
    Learnings · tkersey bundle

    Capture, browse, query, supersede, and selectively admit evidence-backed execution learnings through the passive Learnings protocol definition. Trigger for `$learnings`, browse/recent/search learnings, lessons learned, takeaways, wrap up, handoff, validation transitions, strategy pivots, footguns, retry loops, or memory admission of a durable learning.
    0
    installs
21. ▌
    Fresh Eyes · tkersey bundle

    Run one explicit fresh-eyes review pass verbatim, rechecking the whole target for blunders, mistakes, errors, oversights, omissions, problems, misconceptions, bugs, and related defects. Use for `$fresh-eyes` or as the mandatory fresh-eyes auxiliary lane in `$actuating` closure-grade review.
    0
    installs
22. ▌
    Metanoetic · tkersey bundle

    Challenge a concrete incumbent when repeated repair or accretion, a live contradiction, or a suspect owner, model, representation, or solution class makes nonlocal reframing plausible. Also consider high-regret or difficult-to-reverse commitments, incumbent-generated burdens another mechanism could eliminate, and merely adequate local optima. Invoke explicitly for `$metanoetic`; implicit use requires evidenced pressure, a plausible nonlocal reframe, and enough objective, current evidence, and comparison criteria to evaluate a challenger. Run one bounded canonical pass verbatim to search for a materially different frame, topology, invariant, mechanism, solution class, artifact, or breakthrough candidate.
    0
    installs
23. ▌
    Review Fold · tkersey bundle

    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 requirement, or underdetermined. With enclosing write authority, persist only accepted entailed witnesses in the Review Fold counterexample corpus; recompute current applicability, observational classes, recurrence, and family hypotheses from current evidence; Actuating owns architecture, repair, review credit, and closure.
    0
    installs
24. ▌
    Synesthesia · tkersey bundle

    Reversible cross-modal diagnostic lens for software. Use when the user asks what code, architecture, behavior, logs, APIs, or alternatives feel, sound, look, or move like; for compare-by-feel analysis; when literal analysis leaves multiple plausible structural, temporal, interaction, or boundary interpretations that cross-modal recoding could distinguish; or after an owning technical workflow documents such an ambiguity. Start from literal evidence and translate every sensory statement into a technical hypothesis, uncertainty, falsifier, and next move. Not for ordinary architecture, performance, readability, or UX audits; exact syntax; legal/compliance or security sign-off; or code mutation by itself.
    0
    installs
25. ▌
    Universalist · tkersey bundle

    Use when current work must decide or reconsider an owned code boundary: introducing, removing, migrating, bypassing, or materially changing its semantic owner, admitted domain, representation, composition, compatibility, effects, failure semantics, or proof; or when repeated implementations distribute one law across owners. Skip routine implementation, validation, review closure, rebasing, Ship, and Land against an accepted architecture unless new evidence fires an invalidator. In Actuating, nominate only when architecture reconsideration is live. Explicit invocation always runs. Team mode requires explicit request.
    0
    installs
26. ▌
    Invariant Ace · tkersey bundle

    Turn should-never-happen into cannot-happen with authority-gated invariant design: owned inductive invariants, counterexample traces, source-of-truth proof, transition preservation, exception authority, witness parity, enforcement boundary, and verification. Use for invariants, impossible states, validation sprawl, cache/index drift, idempotency/versioning, retries/duplicates/out-of-order events, races, loop correctness, policy exceptions, generator/validator parity, descriptor identity, witness drift, fixture preconditions, or invariant-first hardening. Not for generic refactors, architecture essays, or implementation without an invariant gate.
    0
    installs
27. ▌
    Footgun Finder · tkersey bundle

    Read-only review lens for latent misuse hazards: APIs, defaults, flags, fallbacks, examples, config, state, cleanup, permissions, and workflows where the easy or obvious use is unsafe, surprising, irreversible, or likely to be copied wrong. Use for `$footgun-finder`, footguns, sharp edges, dangerous affordances, trap doors, misleading names, unsafe defaults, partial-success ambiguity, hidden coupling, or review requests focused on future misuse. Not for generic bugs, invariant ownership, or local simplification unless the hazard is a misuse trap.
    0
    installs
28. ▌
    Negative Ledger · tkersey bundle

    Implicitly invoke when implementation, debugging, review, or validation encounters a witnessed failed/no-effect attempt, benchmark or test regression, revert, repeated same-cluster retry, abandoned strategy, or asks what has already been tried. Project the route gate before repeating a route; transact only inspectable decision-shaping negative evidence through the passive Negative Evidence definition; reopen only after proved applicability changes; selectively admit complete projections to Codex memory.
    0
    installs
29. ▌
    First Principles · tkersey bundle

    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 current solution. Use for `$first-principles` or an explicit request to re-derive a target from first principles.
    0
    installs
30. ▌
    Codebase Doctrine · tkersey bundle

    Recover a repository's latent constitution: the scoped authorities, governing laws, permitted variations, historical wounds, proof obligations, and governed aporia that explain how it remains correct and how future agents should act. Use for deep codebase learning plus durable doctrine, correctness atlases, authority/law/failure/proof analysis, doctrine refresh, audit, task-context projection, or evidence-based repository-skill candidacy. Research before asserting and preserve rival models until evidence discriminates them. Not for quick onboarding, one isolated invariant, implementation, generic review, or direct skill creation.
    0
    installs
31. ▌
    Memory Source Notes · tkersey bundle

    Transport source-approved Learnings, Negative Ledger, and Synesthesia admissions through validated adapters to the `memory-note` CLI; inspect, reconcile, and diagnose immutable-note, digest, and Phase 2 visibility gaps. Never decides source eligibility or edits compiled memory.
    0
    installs
32. ▌
    Complexity Mitigator · tkersey bundle

    Existing-code comprehension and local winnowing preflight. Use for simplify/refactor/clean up/untangle, nested branches, boolean soup, opaque names, mixed responsibilities, cross-file state, or review stalls. Factor the local whole, separate essential/incidental/specification-risk factors, winnow dominated or duplicated factors, and emit the smallest clarity cut. Not for broad architectural layer removal, kernel quotienting, invariant remediation, or greenfield planning.
    0
    installs
33. ▌
    Creative Problem Solver · tkersey bundle

    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 mention does not authorize the portfolio route. Do not activate for direct implementation, single-answer advice, skill analysis/tuning, repository-evidence opportunity mining, or detailed planning ($plan).
    0
    installs