All authors
Claude Skills by jongwony
github.com/jongwony31 skills0 installs43 views
- VerifyThis skill should be used when the user asks to "verify protocols", "check consistency before commit", "validate definitions", "run pre-commit checks", "verify soundness", or wants to ensure epistemic protocol quality. Invoke explicitly with /verify for pre-commit validation.Votes: 0GitHub stars: 173
- EncapsulationThis skill should be used when the user asks to \"audit plugin encapsulation\", \"check self-containment semantics\", \"find contributor-knowledge assumptions\", or invokes /encapsulation. Reviews LLM-facing prose in this project's plugin SKILL.md files and plugin description metadata for Plugin Encapsulation compliance: prose that assumes contributor documentation knowledge or rephrases banned references to bypass deterministic checks. Project-local contributor tooling.Votes: 0GitHub stars: 173
- Formal ReviewThis skill should be used when the user asks to \"formal review\", \"formal lens review\", or invokes /formal-review. A fixed-lens PR review for this repository's formally-structured protocol changes: it pins a Category Theory / Type Theory / Operational Semantics lens panel over only the files changed in a PR, analyzes each lens in isolation, adversarially cross-verifies the findings, and posts the survivors as a single consolidated PR comment. Project-local contributor tooling.Votes: 0GitHub stars: 173
- RealizeThis skill should be used when the user asks to "run the eval", "test whether the protocol actually works at runtime", "check type realization", "measure protocol fulfillment", "run the type-realization suite", "does the gate actually stop", or wants runtime evidence that a protocol's formal transition contract is realized rather than an assessment of downstream artifact quality. Invoke explicitly with /realize and a skill argument.Votes: 0GitHub stars: 173
- ReleaseRelease for this repo — CalVer tag + narrative prepend.Votes: 0GitHub stars: 173
- InquireA task rests on missing context or unchecked assumptions: collect every piece of context the AI can reach on its own, then hand back what it cannot reach as the user's own unknown.Votes: 0GitHub stars: 173
- GroundA framework, analogy, or earlier design is carried to a case, or an abstraction tested against its own cases, and what it supports is unclear: back each conclusion with cited evidence, not assent.Votes: 0GitHub stars: 173
- RecollectThe user vaguely recalls something discussed before but cannot name it — one session, or a line of work, topic, or settled concept across several: find it in past records to recognize.Votes: 0GitHub stars: 173
- SublateContext about to be acted on may no longer hold — stale, weakly sourced, or contradicted: challenge each claim the action leans on, and the user judges what stands before acting.Votes: 0GitHub stars: 173
- ContextualizeA result may not fit where it lands: check every place it reaches and every intent it was meant to carry, show every misfit and omission on one sheet, and carry out the fixes the user settles.Votes: 0GitHub stars: 173
- Gate CheckAdvisor-checked decision gates. Freezes a drafted option set, has an independent external advisor rule it genuine / collapsed / malformed, then verifies the cited grounds before it reaches the user.Votes: 0GitHub stars: 173
- OnboardQuick protocol recommendation from recent sessions, or quest-based learning through scenario, trial, and quiz.Votes: 0GitHub stars: 173
- ProbeDeficit Recognition Probe — surface multiple deficit hypotheses for the user's current situation and route by user-constituted recognition (fit review, not protocol scoring).Votes: 0GitHub stars: 173
- RealignProject guide direction line via three-horizon fusion. Invoke with /realign.Votes: 0GitHub stars: 173
- Reduced Space TestScoped empirical validation. Decomposes a target↔surrogate equivalence claim into facets, bounds a test space, captures evidence inside it, and carries the untested complement forward.Votes: 0GitHub stars: 173
- White BearUse when the user asks to \"check white bear\", \"audit prohibitions\", \"find negative framing\", or invokes /white-bear. Read-only audit: unnecessary competing-target mentions in LLM-facing prose.Votes: 0GitHub stars: 173
- Zero ShotUse when the user asks to \"check zero-shot\", \"audit few-shot anchoring\", \"find example anchoring\", or invokes /zero-shot. Read-only audit of LLM-facing prose: principle over anchoring examples.Votes: 0GitHub stars: 173
- ElicitThe user knows roughly what they want but not which decisions it turns on: trace them from their own material (code, rules, past sessions) and the domain's usual decisions; ask until it settles.Votes: 0GitHub stars: 173
- IdeateThe idea field is empty, narrowed too early, or thin in places: widen it in width and depth before any candidate is chosen; reads the user's words and what they name.Votes: 0GitHub stars: 173
- BoundThe user cannot yet see what a task needs them to decide, or which decisions to keep or entrust: map the whole task first, then open each decision to the depth needed.Votes: 0GitHub stars: 173
- ConductThe work needs several lines of thinking, and their order, independence, combination, stopping point, or where results go is not obvious: settle the method before starting.Votes: 0GitHub stars: 173
- GraspSomething in play — code, a document, a result, quotable in context — needs to be actually understood; the user can't follow it yet or nods along unsure: verify understanding step by step.Votes: 0GitHub stars: 173
- ApportionOne goal is about to be handed to an autonomous run: cut it into units that each fit one stretch of the run and carry their own conditions for when they are done.Votes: 0GitHub stars: 173
- InduceSeveral concrete cases at hand seem to share something no one has named yet: pin down what they have in common, checked against the goal the name serves.Votes: 0GitHub stars: 173
- PreviewThe user is about to commit to one of several directions that cannot be judged from their descriptions: build throwaway probes showing where they diverge, and decide on what is seen.Votes: 0GitHub stars: 173
- RouteRoute the accumulated session context to the loaded core protocol whose deficit it shows — /route. Invokes the dominant match, nudges when several fit, silent when none, monitors while a gate holds.Votes: 0GitHub stars: 173
- SketchSomething has to be made that the user cannot describe but would recognize on sight: mark what does not fit on concrete sketches, revising until a form is recognized.Votes: 0GitHub stars: 173
- RederiveThis skill should be used when choi names a core protocol whose Lean contract is to be re-derived, or invokes /rederive. Runs the per-protocol flow: gather the pre-understanding, derive the protocol's epistemic solution and fuse it with choi's horizon, then read the current contract against it, through sketch, edit, dogfood, review, merge, the chart close and a retrospective on this skill. Project-local contributor tooling.Votes: 0GitHub stars: 173
- OutcomeThis skill should be used when the user asks to "run the outcome eval", "paired bare vs protocol", "which decisions did the protocol surface", "count what the AI asked or presented", "does /inquire surface what the request left out", or wants to see, from transcripts, which decisions reached the user as a question or something to recognize instead of having to be written into the opening prompt. Project-local contributor tooling.Votes: 0GitHub stars: 173
- Task SaveThis skill should be used when the user asks to "save current task", "save progress", "create task from context", "task-save", "break down tasks", "decompose work", or wants to capture current work state as structured tasks with dependency ordering. Usage: /task-save [--cwd <path>] [query] --cwd: Cross-project handoff (records target directory in metadata for ClaudePanel.spoon).Votes: 0GitHub stars: 32
- ShipThis skill should be used when the user asks to "ship", "ship it", "commit and create PR with tasks", "commit push pr and register tasks", or wants to commit, push, create a pull request, AND register test plan items as tasks. This combines the commit-push-pr workflow with automatic task registration from PR checklists. Use this skill instead of commit-push-pr when the user wants test plan tracking. Usage: /shipVotes: 0GitHub stars: 32