Agent skill

Spk Doctrine Semantic Compression

by spec-kitty in spec-kitty/spec-kitty

Invoke Randy Reducer and semantic-compression doctrine for behavior-preserving code reduction.

MITAuto-check passedFrontend & Design

Install Spk Doctrine Semantic Compression

skills CLI
$ npx skills add spec-kitty/spec-kitty --skill spk-doctrine-semantic-compression -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install spec-kitty/spec-kitty spk-doctrine-semantic-compression --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/spec-kitty/spec-kitty.git skills-src && mkdir -p .claude/skills && cp -r skills-src/src/charter/offering/skills/spk-doctrine-semantic-compression .claude/skills/spk-doctrine-semantic-compression && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
spk-doctrine-semantic-compression
GitHub stars
1.7k
Token cost
~230 tokens
SKILL.md length
96 words
Files
1
Skills in repo
50
Repo updated
First seen
Licence
MIT

At a glance

Invoke Randy Reducer and semantic-compression doctrine for behavior-preserving code reduction.

  • Works in 7 steps: Load agent profile randy-reducer. → Load paradigm semantic-compression. → Map the behavioral envelope before… → …
  • Tasks that involve State management
  • SKILL.md covers Flow and Stop Conditions
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Spk Doctrine Semantic Compression is an agent skill from spec-kitty/spec-kitty. Invoke Randy Reducer and semantic-compression doctrine for behavior-preserving code reduction.

Its SKILL.md is about 230 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

It sits in Frontend & Design, covering State management. The repository describes itself as: Spec-Driven Development with organizational governance. Specs tell AI agents what to build; Charter governs how they build it. Git-native missions, enforceable workflows, and… The licence is MIT.

When your agent uses it

  • Tasks that involve State management

Example prompts

  • “/spk-doctrine-semantic-compression”

Workflow steps

7 steps, taken from the first numbered list in SKILL.md.

  1. Load agent profile randy-reducer.
  2. Load paradigm semantic-compression.
  3. Map the behavioral envelope before editing.
  4. Find exact, parameterized, structural, and semantic redundancy.
  5. Extract one implementation per concept or delete proven dead weight.
  6. Consolidate competing behavioral paths behind one canonical owner.
  7. Verify equivalence and report evidence plus residual risk.

What it can do on your machine

Read from SKILL.md and the folder at commit e533131. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    No scripts in the folder and no shell commands in SKILL.md.

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Spk Doctrine Semantic Compression loads about 230 tokens when it runs. Until then it costs about 32 tokens; SKILL.md has 96 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~32
When it runs · the whole SKILL.md, loaded when a task matches
~230

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from spec-kitty/spec-kitty at commit e533131, republished under its MIT licence (© spec-kitty). 96 words, ~230 tokens.

Download SKILL.mdSave it as .claude/skills/spk-doctrine-semantic-compression/SKILL.md (or your agent's skills folder).
name
spk-doctrine-semantic-compression
description
Invoke Randy Reducer and semantic-compression doctrine for behavior-preserving code reduction.

spk-doctrine-semantic-compression

Use this skill when the user asks to reduce, simplify, deduplicate, delete dead code, or refactor while preserving existing behavior.

Flow

  1. Load agent profile randy-reducer.
  2. Load paradigm semantic-compression.
  3. Map the behavioral envelope before editing.
  4. Find exact, parameterized, structural, and semantic redundancy.
  5. Extract one implementation per concept or delete proven dead weight.
  6. Consolidate competing behavioral paths behind one canonical owner.
  7. Verify equivalence and report evidence plus residual risk.

Stop Conditions

  • Protected behavior is unknown.
  • Verification evidence is unavailable for non-trivial deletion.
  • The request is actually feature expansion, not reduction.

© spec-kitty, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in src/charter/offering/skills/spk-doctrine-semantic-compression of spec-kitty/spec-kitty.

Open the folder on GitHubat commit e533131

Compare with similar skills

Spk Doctrine Semantic Compression next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Spk Doctrine Semantic Compression compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Spk Doctrine Semantic Compression this skillspec-kitty/spec-kitty1.7k—~230Automated safety check: PassMIT
Svelte Core Best Practicesrilldata/rill2.9k4 repos~1.8kAutomated safety check: PassApache-2.0
Dify Component Writing Guidelanggenius/dify158k—~626Automated safety check: PassCustom licence
React State Managementinvolvex/youtube-music-cli45613 repos~3kAutomated safety check: PassMIT
Pierre Theming Librarypierrecomputer/pierre6.3k—~661Automated safety check: PassApache-2.0
Frontend Patternskurealnum/dotfiles29019 repos~3.7kAutomated safety check: PassNone

Similar skills

  • Rules for writing idiomatic Svelte 5 code: when to reach for runes like state, derived and effect, and how to handle props, attachments and bindings.

    2.9k GitHub starsUsed in 4 repos~1.8k tokens
    Frontend & DesignAuto-check passed
  • Use when implementing or refactoring React/TypeScript components and the task requires decisions about component ownership, feature boundaries, state, data…

    158k GitHub stars~626 tokensUpdated today
    Frontend & DesignAuto-check passed
  • React State Management

    involvex/youtube-music-cli

    Master modern React state management with Redux Toolkit, Zustand, Jotai, and React Query.

    456 GitHub starsUsed in 13 repos~3k tokens
    Frontend & DesignAuto-check passed
  • Pierre Theming Library

    pierrecomputer/pierre

    Explains how to use the @pierre/theming package to list, resolve, select, switch and persist themes, with controller, color and React references.

    6.3k GitHub stars~661 tokensUpdated yesterday
    Frontend & DesignAuto-check passed
  • Frontend Patterns

    kurealnum/dotfiles

    Frontend development patterns for React, Next.js, state management, performance optimization, and UI best practices.

    290 GitHub starsUsed in 19 repos~3.7k tokens
    Frontend & DesignAuto-check passed
  • Explains how LobeHub client code fetches data through services, SWR store hooks and cache keys, and when to avoid useEffect fetching or duplicated state.

    83k GitHub stars~1.7k tokensUpdated today
    Frontend & DesignAuto-check passed

More from spec-kitty/spec-kitty

All 50 skills in this repo
  • Spec Kitty Setup Doctor

    spec-kitty/spec-kitty

    Install, verify, and recover the modern Spec Kitty 2.0.11+ operating surface.

    1.7k GitHub stars~1.4k tokensUpdated today
    Auto-check passed
  • Spk Doctrine Show Me

    spec-kitty/spec-kitty

    Explain Spec Kitty work with compact, checkable visuals. An agent skill from spec-kitty/spec-kitty.

    1.7k GitHub stars~944 tokensUpdated today
    Auto-check passed
  • Spec Kitty Git Workflow

    spec-kitty/spec-kitty

    Understand how Spec Kitty manages git: what git operations Python handles automatically, what agents must do manually, worktree lifecycle, auto-commit behavior, merge execution, and the safe-commit…

    1.7k GitHub stars~2.3k tokensUpdated today
    Auto-check passed
  • Spec Kitty Glossary Context

    spec-kitty/spec-kitty

    Curate and apply canonical terminology across Spec Kitty missions.

    1.7k GitHub stars~3.1k tokensUpdated today
    Auto-check passed
  • Spec Kitty Mission System

    spec-kitty/spec-kitty

    Understand how Spec Kitty missions work: the 4 built-in mission types, how they define workflows via step contracts and action indices, how missions and work packages relate, how templates are…

    1.7k GitHub stars~4.3k tokensUpdated today
    Auto-check passed
  • Teach agents and external systems how to use spec-kitty orchestrator-api to drive workflows from outside the host CLI.

    1.7k GitHub stars~3k tokensUpdated today
    Auto-check passed

Questions about Spk Doctrine Semantic Compression

What does Spk Doctrine Semantic Compression do?

Invoke Randy Reducer and semantic-compression doctrine for behavior-preserving code reduction. Spk Doctrine Semantic Compression is an agent skill from spec-kitty/spec-kitty. Invoke Randy Reducer and semantic-compression doctrine for behavior-preserving code reduction.

When should I use Spk Doctrine Semantic Compression?

Spk Doctrine Semantic Compression fits situations like: tasks that involve State management.

How do I install Spk Doctrine Semantic Compression in Claude Code?

Run `npx skills add spec-kitty/spec-kitty --skill spk-doctrine-semantic-compression -a claude-code`. Or copy the skill folder (src/charter/offering/skills/spk-doctrine-semantic-compression in spec-kitty/spec-kitty) into .claude/skills/spk-doctrine-semantic-compression in your project. Claude Code loads it when a task matches its description.

How do I install Spk Doctrine Semantic Compression in Codex?

Run `npx skills add spec-kitty/spec-kitty --skill spk-doctrine-semantic-compression -a codex`. Or copy the skill folder (src/charter/offering/skills/spk-doctrine-semantic-compression in spec-kitty/spec-kitty) into .agents/skills/spk-doctrine-semantic-compression in your project. Codex loads it when a task matches its description.

Can I use Spk Doctrine Semantic Compression in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add spec-kitty/spec-kitty --skill spk-doctrine-semantic-compression -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/spk-doctrine-semantic-compression, .gemini/skills/spk-doctrine-semantic-compression, .github/skills/spk-doctrine-semantic-compression and .opencode/skills/spk-doctrine-semantic-compression in your project.

What does Spk Doctrine Semantic Compression need to run?

SKILL.md names no scripts, command-line tools or credentials: Spk Doctrine Semantic Compression is instructions for the agent only.

Does Spk Doctrine Semantic Compression access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Spk Doctrine Semantic Compression safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Spk Doctrine Semantic Compression use?

Spk Doctrine Semantic Compression is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Spk Doctrine Semantic Compression use?

About 230 tokens (SKILL.md is roughly 920 characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Spk Doctrine Semantic Compression?

Skills that share tags, products or a category with Spk Doctrine Semantic Compression: Svelte Core Best Practices (rilldata/rill, 2.9k stars), Dify Component Writing Guide (langgenius/dify, 158k stars), React State Management (involvex/youtube-music-cli, 456 stars) and Pierre Theming Library (pierrecomputer/pierre, 6.3k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Spk Doctrine Semantic Compression?

spec-kitty (a GitHub organization) maintains it in spec-kitty/spec-kitty, which has 1,678 GitHub stars. The repository holds 50 skills in this directory. The repository was last updated on October 9, 2026.

Source: spec-kitty/spec-kitty on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.