Module skillify 

Skillify (#290): distill a project’s recurring session patterns into versioned, git-committable .cursor/rules/skillify-*.mdc rule files.

Pipeline: candidate::mine_candidates (read diary + knowledge) → gate::judge (precision-biased KEEP/SKIP) → rule_file::plan (create / merge / unchanged). Runs on demand only; nothing is written unless the miner is invoked, and re-runs are idempotent.

A rule file is a derived copy of the facts it was distilled from: it is bound to their sources when it is written and asked again before lean-ctx lists or promotes it (provenance).

Modules

candidate

Skill candidates mined from the project’s session diary + knowledge facts.

Structs

MineReport

Summary of one mining run, for human + machine reporting.

RuleListing

What list returns: the rules lean-ctx may show now, and — apart from them — the files it reports instead. Both sorted (#498).

RuleNotice

A rule file that needs the user’s attention. Never a rule: the path, a reason code and a fixed sentence — nothing of the file’s content.

RuleSummary

One generated rule on disk.

Functions

current_config

Current skillify configuration, for status.

list_rules

List the generated rules currently on disk for the configured scope.

mine

Run the miner end-to-end. Returns an error only when skillify is disabled or a write fails; an empty project simply yields an empty report.

promote

Copy a project-scoped generated rule into the global ~/.cursor/rules so it applies to every project. Returns the destination path on success.