Skills lean-skills
Derived: every skill markdown file, with the description it declares in its own front matter. Sub-graph folio-assistant-sci/skills/lean.
This is an index, not the documentation. It says what exists and what each
artefact declares about itself. What a process is for, when you would be in it, and
what it is not, is authored beside it and reuses these entries rather than restating them —
see the
auto-docs skill.
- core-skills folio-assistant-core/skills 30
- data-skills folio-assistant-sci/skills/data 1
- fhir-ig-skills fhir-harness/skills 16
- folio-assistant-sci-skills folio-assistant-sci/skills 53
- lean-skills folio-assistant-sci/skills/lean 2
- skills cat-harness/skills 248
- smart-base-skills smart-base/skills 22
- who-iris-skills who-iris/skills 2
| Artefact | What it declares about itself |
|---|---|
lean-formal-edgesfolio-assistant-sci/skills/lean/lean-formal-edges.md | Extract ELABORATED formal dependencies between a folio's lean.ref declarations — the trustworthy replacement for the lexical --scan cache. |
lean-html-docsfolio-assistant-sci/skills/lean/lean-html-docs.md | Build and publish the visualiser of a folio's declared lean directory: the package's doc-gen4 HTML render, staged under the folio's site and wrapped in the harness navbar and rail. |