"Measure how much code is typed, per file and per lane, for a change, a path, or the tree: `type-coverage` for TypeScript, mypy's any-expressions report for Python. No standard anchors it, so the number is a trend, not a bar. Use when: 'how much of this is typed', 'type coverage', 'how many anys are in this', 'any usage in the change', 'type debt', 'measure our typing', 'mypy any expressions report'. Complexity: /code-metrics:audit-complexity."
Resources
2Install
npx skillscat add melodic-software/claude-code-plugins/plugins-code-metrics-skills-audit-type-debt Install via the SkillsCat registry.
Pre-computed context
Current branch: !git branch --show-current 2>/dev/null || echo "unknown"
Purpose
"Get any and unknown to zero" is a goal without a yardstick: no standard and no CWE anchors a
typed-code percentage. This skill reports what the two tools that produce a real percentage
measure, per file and per lane, and says plainly where the number comes from and what it does not
mean. There is no pass or fail here, and no bar to argue with.
| Lane | Collector | Values | The number it reports |
|---|---|---|---|
| TypeScript/JavaScript | type-coverage |
lane row: type_coverage_pct, typed_identifiers, total_identifiers, any_count; file row: any_count alone, the other three null |
identifiers whose type is not any, over all identifiers |
| Python | mypy --any-exprs-report |
type_coverage_pct, any_expressions, expressions_total on every file row and on the lane row |
mypy's own Coverage column: expressions not typed Any, over all expressions |
| Bash | not applicable | no collector reports a typed-code ratio for shell | |
| Go | not applicable | the compiler admits no untyped identifier to count | |
| C# | not applicable | no tool produces a comparable percentage for C#; a dynamic/object occurrence count is not comparable to a ratio |
Run it
"${CLAUDE_SKILL_DIR}/scripts/audit-type-debt.sh" # the change: diff from the merge-base plus uncommitted files
"${CLAUDE_SKILL_DIR}/scripts/audit-type-debt.sh" src/ lib/api.py # explicit paths (a missing one is a usage error)
"${CLAUDE_SKILL_DIR}/scripts/audit-type-debt.sh" --all # every tracked or untracked-but-not-ignored file
"${CLAUDE_SKILL_DIR}/scripts/audit-type-debt.sh" --json --all src/ # the code-metrics/v2 document instead of markdownPresent the markdown report as printed. It opens with the scope and a "Coverage of this run" table
(lane, collector, status, reason), then the reference with its provenance and layer, then one row
per file, least typed first, and one row per lane labeled lane-total. Keep the --json
document when the numbers feed a comparison:/verification:measure metrics consumes it when the verification plugin is installed (treat a
report whose status is empty on either side as INCONCLUSIVE); otherwise keep the JSON beside
your notes and compare by hand.
Reading the numbers
- The two percentages are not the same measure. One counts identifiers, the other counts
expressions, over different populations and from different type checkers. Read each against its
own lane over time; never compare them with each other, and never average them. - The reference is
nullby design, because no standard or CWE sets one. A consumer who sets one
gets abelowcomparison (a lane under the reference is counted), which is still a count and
never a finding, a severity, or an exit code. - The
lane-totalrow is the lane's figure and the summary'sFiles:count is the file rows.
For Python the lane row is the sum of the file rows, so a change-scoped run reports the scope's
own coverage rather than everything mypy followed. mypy names modules, not files; the file is
recovered by re-deriving mypy's--explicit-package-basesnaming from the path, and when none
of its names matches a scope file (amypy_pathin the consumer's mypy config can do that) the
lane row is mypy's own Total, no file row is emitted, and the run row's reason says so. - A value the tool did not produce is
null, never0:any_countisnullwhentype-coveragelisted no locations, andtype_coverage_pctisnullwhen nothing was counted
at all (a TypeScript project with notsconfig.jsonreaches this). A TypeScript file row
carriesany_countalone, the occurrencestype-coverage --detaillisted for that file,
because the CLI gives no per-file denominator. A scope file in the project'stsconfig.json
program with no listed occurrence reads0, a measured zero; a scope file outside that program
gets no row and is counted in the run row's reason; when the lane counted nothing, no file row
is emitted. - mypy exits 1 on any type error and still writes its report; the rows are kept, the lane row is
labeledmypy-reported-errors, and the run row's reason counts the errors and, among them,
the missing stubs (import-untyped,import-not-found), which says how much of theAny
count is unstubbed imports rather than local typing. A type error is not a missing measurement.
mypy exits 2 when a blocking error (a duplicate module name, a usage or config error) stops it
before analysis; the Python lane then readsunavailablewith mypy's own message, never a
percentage, and the run continues. - Exit 0 whenever a report was produced, including a run that measured nothing; exit 2 for a usage
error such as an explicitly named path that does not exist; exit 3 when a collector resolved but
produced nothing parseable, with its stderr in the run table.
Configuration
Everything tunable resolves through .claude/code-metrics.yaml (user-global, team, local overlay;
per-key override; keys in ${CLAUDE_PLUGIN_ROOT}/reference/config.md): the reference
(type_debt.reference, null by default), scope exclusions (scope.exclude), a per-lane opt-out
(lanes.<lane>.enabled: false, which drops that lane even under --all), and the per-lane
collector order (lanes.<lane>.collectors.type_coverage). The report names the layer that
supplied any value a personal layer changed. /code-metrics:setup writes the team file and probes
the collectors.
What this skill does not do
- It does not run tests, edit files, add annotations, or install
type-coverageormypy; an
absent tool is a row in the run table with its install hint. - It does not judge: the reference is not a bar, and no
checkgate exists in this version. - It does not count
anyoccurrences for C#, and it does not report a count where the other lanes
report a ratio. - It does not measure complexity, size, duplication, or coverage; those are the sibling
audit-*
skills in this plugin, and/code-metrics:principlesexplains what each number means.
Next
- The numbers feed a before-and-after comparison:
/verification:measure metrics. - A percentage is about to be read as a bar:
/code-metrics:principles.
Gotchas
type-coverageneeds a resolvabletypescriptin the project it runs against, and crashes
without one, so the probe requires both and the lane reportsunavailablewith that reason when
only the binary is present. Install both as project dev dependencies.type-coveragereads the project'stsconfig.json. Without one it counts nothing and reportsnullrather than a percentage.- mypy lists only the files it was given, so the file rows and the lane row cover the scope files
alone; it still follows their imports to type them, so a scope file's count can move when a
module it imports changes with no edit to the file itself. Compare like-scoped runs. - mypy names modules, not files. The collector re-derives the name mypy gives each scope path
with the working directory as the base; a base the consumer's mypy config adds (mypy_path = src, the src layout) shortens mypy's names, which are then matched to the one scope file whose
derived name ends in that name. A listed name that matches nothing is left out of the lane row
and counted in the run row's reason, as is a scope file mypy listed nothing for. type-coveragecounts only the files itstsconfig.jsonprogram holds and does not say which
those are, so the collector reads the program through the project's owntypescript(onenodecall) and gives a row only to scope files in it; a scope file outside the program is
counted in the run row's reason, never reported as 0. When that call fails, only scope files
with a listed occurrence get a row and the reason says why.- The Python percentage moves when a dependency ships or drops type stubs, because an unfollowed
import turns intoAny. A drop with no local edit is usually that. - mypy runs with
--explicit-package-bases, so a file vendored into several plugins (sanctioned
replication) is named by its path (plugins.a.lib.x) and measured once per copy instead of
aborting the lane. mypy's module walk stops at a directory whose name is not a Python
identifier, so two same-named files under two hyphenated directories (my-pkg/mod.py,other-pkg/mod.py) derive one module name. The collector measures the first of them (scope
order, the one mypy itself keeps) and every other file, holds the rest out, and the run row
readspartialwith each held-out file named in its reason; the lane row is labeledpartial
too, and no percentage is given for a file it held out. mypy accepts the flag only while
namespace packages are on (its default), so a consumer config that turns them off makes the run
repeat without it, in mypy's own naming (packages from__init__.pyfiles), and the run row's
reason says so; a file that collides in that mode is held out the same way. Any other blocking
mypy error (a usage or config error) still readsunavailablewith mypy's message. - mypy runs with its cache disabled (
--cache-dirset to the platform's null device), so no.mypy_cache/is written into the working tree. A one-shot report gains nothing from the cache.