Skip to main content

tkersey/dotfiles

SkillsMP 已收集 tkersey/dotfiles 中的 50 个 Skill。打开任一 Skill 可查看来源和详情。

最近记录的来源活动
SkillsMP 收录数据更新
已收集 skills
50
GitHub 星标
66
GitHub Forks
2

已展示 40 / 50 个已收集 Skill。

职业分类
未分类
描述

Manage local Codex account switching with a metadata-only TOML config, safe auth.json vault backups, pending manual account activation, and weekly reset-cycle rotation. Use when the user asks to manage Codex accounts, switch Codex accounts, inspect account…

原文语言:英语

更新
职业分类
未分类
描述

Turn accepted intent and review evidence into correct-by-construction software through Goal Contracts, Counterexample Sets, Construction Contracts, and an Evidence Ledger. Use bare $actuating for implementation, Ship publication, and review convergence; use…

原文语言:英语

更新
职业分类
未分类
描述

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;…

原文语言:英语

更新
职业分类
未分类
描述

Reconstruct and experimentally challenge decisions from prior Codex sessions. Use for `$retrace`, historical decision replay, counterfactual forks, alternative-route challenges, hindsight-separated retrospectives, workflow-governance audits, skill decision…

原文语言:英语

更新
职业分类
软件开发工程师
描述

Tune an existing Codex skill by comparing its intended decision contract with observed decision episodes and outcomes. Use Tune's passive Seq observation and Ledger artifact definitions for `$tune`, intended-vs-observed behavior, missed/false/ceremonial…

原文语言:英语

更新
职业分类
未分类
描述

Use whenever implementation, review, migration, or resolution creates, changes, preserves, validates, bypasses, or removes an owned code boundary, or reveals repeated implementations that distribute one law across owners. Universalist recognizes when current…

原文语言:英语

更新
职业分类
未分类
描述

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…

原文语言:英语

更新
职业分类
未分类
描述

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…

原文语言:英语

更新
职业分类
软件开发工程师
描述

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…

原文语言:英语

更新
职业分类
未分类
描述

Create or directly edit Codex skill packages: SKILL.md, triggers, agents/openai.yaml, scripts, references, assets, and optional decision instrumentation. Use for explicit skill creation or direct skill surgery now; classify the skill as…

原文语言:英语

更新
职业分类
未分类
描述

Ensure Ledger 1.x is available and use its passive-definition runtime to validate, canonicalize, materialize, transact, replay, project, doctor, bind, and recover owner-defined artifacts and stores. Use for native Ledger operations, definition authoring or…

原文语言:英语

更新
职业分类
未分类
描述

Safely append, inspect, validate, deploy, reconcile, and materialize derived digests for typed source-evidence notes in controlled Codex memory extensions. Use after a handoff from learnings, negative-ledger, or synesthesia; for an explicit custom source…

原文语言:英语

更新
职业分类
未分类
描述

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…

原文语言:英语

更新
职业分类
未分类
描述

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…

原文语言:英语

更新
职业分类
未分类
描述

Finalize validated work into proof-backed public state without merging, and return immutable Ship-owned publication evidence to Actuating without taking architecture, review, or closure authority. Use for $ship, opening or updating a PR, promoting a draft,…

原文语言:英语

更新
职业分类
未分类
描述

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`…

原文语言:英语

更新
职业分类
未分类
描述

Own and apply bounded, evidence-backed optimization of an existing Codex skill. Use after `$tune` supplies STE-v1/SDC-v2 or a complete REFINE-SKILL-v3 brief; inspect the target package, select the weakest valid intervention supportable by current evidence,…

原文语言:英语

更新
职业分类
未分类
描述

Compile accepted intent into the sole source-bound goal-contract/v3 artifact. Use before multi-step implementation, review closeout, migration, or hard debugging to bind outcomes, laws, authority, scope, compatibility, and acceptance without selecting…

原文语言:英语

更新
职业分类
未分类
描述

Run one explicit Glaze escalation pass verbatim: lavish belief, praise, and promised credit on the solver to expand ambition beyond an adequate answer, then reject PUSILLANIMITY. Use for `$glaze`, civilizational or systemic ambition expansion, or when a 10x…

原文语言:英语

更新
职业分类
未分类
描述

Mine a codebase or product surface for evidence-backed breakthrough opportunities. Use for `$ideate`, repo/product improvement discovery, idea portfolios, non-obvious refactors, DX/UX/reliability/performance opportunities, or choosing what to plan next.…

原文语言:英语

更新
职业分类
未分类
描述

Precision language and doctrine compiler: sharpen wording, names, labels, headings, PR replies, commit/PR text, docs, explanations, doctrine words, activation phrases, and agent doctrine stacks without semantic drift. Trigger for wording, naming, terminology,…

原文语言:英语

更新
职业分类
未分类
描述

Run one bounded Metanoetic escalation pass verbatim against a concrete incumbent to search for a materially different frame, invariant, mechanism, artifact, or breakthrough candidate. Invoke explicitly for `$metanoetic`; invoke implicitly only when the…

原文语言:英语

更新
职业分类
软件开发工程师
描述

Safely finish an explicitly selected GitHub PR: bind exact repository/base/head identity, close review blockers, verify required checks, merge or wait for queue/auto-merge completion, prove live MERGED state, and then clean remote/local branches and…

原文语言:英语

更新
职业分类
其他计算机职业
描述

Orchestrate evidence-backed optimization of user-owned Codex skills through $seq or $shadow evidence, $tune diagnosis, and $refine package editing and outcome observation. Use for explicit skill audits, missed/false/ceremonial activation, decision-contract…

原文语言:英语

更新
职业分类
其他计算机职业
描述

Synthesize accepted intent or a `$spec-pipeline` PSC-v1 source contract into one source-bound, architecture-aware EPG-v1 plan with an immutable `plan_id`, then validate its structure through Plan's passive Ledger definition. Exhaustively refine source-owned…

原文语言:英语

更新
职业分类
软件质量保证分析师与测试员
描述

Classify and quotient review findings, failing tests, incidents, bug reports, migration failures, and other witnessed falsifiers against the exact current Goal and Construction, including carrying unresolved classes across explicit source revisions. Author…

原文语言:英语

更新
职业分类
软件开发工程师
描述

Watch exactly one Codex session through one target-skill lens and emit only decision-relevant deltas. Use Tune's passive Seq skill-decision evidence definition for `$shadow $tune`; use for shadow/tail/follow/monitor one session, missed or contrary skill…

原文语言:英语

更新
职业分类
软件开发工程师
描述

Canonical architectonic current-spec engine. Turn ambiguous project, architecture, implementation, or product requests into decision-complete specs whose architecture and abstractions are explicit, authority-bound, and proof-linked; operate narrowly in…

原文语言:英语

更新
职业分类
软件开发工程师
描述

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…

原文语言:英语

更新
职业分类
其他计算机职业
描述

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…

原文语言:英语

更新
职业分类
软件开发工程师
描述

Systems-thinking and feedback-control skill. Use for `$cybernetic`, cybernetics, complex adaptive systems, root-cause vs structure, feedback loops, stocks/flows, leverage points, incentives, delayed effects, unintended consequences, DART diagnosis,…

原文语言:英语

更新
职业分类
软件开发工程师
描述

Systematically explore unfamiliar codebases and build reusable architecture summaries. Use for repo onboarding, legacy-code understanding, data-flow maps, entry-point discovery, or explicit parallel Codex subagent exploration.

原文语言:英语

更新
职业分类
软件开发工程师
描述

Invokes Apple's macOS 27 fm command-line tool from a local Mac to use the on-device system model or Private Cloud Compute, including instructions, image prompts, schema-constrained JSON, and noninteractive automation. Use when the user asks to run Apple…

原文语言:英语

更新
职业分类
软件开发工程师
描述

Create a language-agnostic ghost package from a repo: SPEC.md, exhaustive tests.yaml, INSTALL.md, README.md, VERIFY.md, and LICENSE provenance/regeneration. Use for `$ghost`, ghostify, spec-ify/spec-package this library, ghost library, or portable spec/tests…

原文语言:英语

更新
职业分类
项目管理专家
描述

Clarify ambiguous or conflicting requests by researching first, then interrogating assumptions, constraints, dependencies, trade-offs, edge cases, and failure modes before planning or implementation. Use for `$grill-me`, "grill me", hard questions,…

原文语言:英语

更新
职业分类
软件开发工程师
描述

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.…

原文语言:英语

更新
职业分类
软件开发工程师
描述

Render a concise human proof from Actuating's current complete closure receipt. Use after implementation or review closeout to bind the Goal, Construction, subject, Evidence Ledger head, Counterexample disposition, proof, retirements, applicable review…

原文语言:英语

更新
职业分类
软件质量保证分析师与测试员
描述

Run an artifactless parallel subagent gauntlet for absolute or suspiciously clean claims. 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…

原文语言:英语

更新
职业分类
其他计算机职业
描述

Historical learning skill for the specification system. Mine multiple prior specs, SGR-v2 receipts, plans, sessions, reports, and churn evidence into concrete updates to `$spec-pipeline` contracts, tools, subagent policy, exemplars, and measurement. Use for…

原文语言:英语

更新
职业分类
软件开发工程师
描述

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…

原文语言:英语

更新
已展示 40 / 50 个已收集 Skill。