Skills folio-assistant-sci-skills
Derived: every skill markdown file, with the description it declares in its own front matter. Sub-graph folio-assistant-sci/skills.
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 |
|---|---|
latex-authoringfolio-assistant-sci/skills/content/authoring-math/latex-authoring.md | no description in the artefact |
lean-formalizationfolio-assistant-sci/skills/content/authoring-math/lean-formalization.md | no description in the artefact |
proof-verificationfolio-assistant-sci/skills/content/authoring-math/proof-verification.md | no description in the artefact |
build-docsfolio-assistant-sci/skills/content/folio-paper-adapter/build-docs.md | Builds the Lean HTML documentation (doc-gen4) locally in the workspace, for any paper folio's Lean package. |
build-pdffolio-assistant-sci/skills/content/folio-paper-adapter/build-pdf.md | Builds a paper folio's PDF locally in the workspace — the monolithic PDF plus split per-chapter PDFs. |
category-theoryfolio-assistant-sci/skills/content/folio-paper-adapter/category-theory.md | Category Theory formalization skill — handles diagram chasing, universal properties, functorial translation, and whiskering in Lean 4. |
chapter-analysisfolio-assistant-sci/skills/content/folio-paper-adapter/chapter-analysis.md | Thorough analysis and Lean 4 formalization of a single manuscript chapter. |
compute-auditfolio-assistant-sci/skills/content/folio-paper-adapter/compute-audit.md | Audit compute scripts for a catalogue of correctness and performance antipatterns extracted from a long review of the project's compute history. |
compute-authorfolio-assistant-sci/skills/content/folio-paper-adapter/compute-author.md | Pre-work briefing + durable patterns for anyone writing or modifying compute scripts (or the native crates they call). |
content-block-reviewfolio-assistant-sci/skills/content/folio-paper-adapter/content-block-review.md | Reviews existing content blocks for adherence to all requirements — structural integrity, Lean proof rules, cross-reference consistency, status accuracy, and naming conventions. |
content-validationfolio-assistant-sci/skills/content/folio-paper-adapter/content-validation.md | no description in the artefact |
critical-path-analysisfolio-assistant-sci/skills/content/folio-paper-adapter/critical-path-analysis.md | Analyse the critical path of the paper's argument chain, audit statement and proof contexts (e.g. |
definition-clarity-auditfolio-assistant-sci/skills/content/folio-paper-adapter/definition-clarity-audit.md | Definition / statement clarity + concision audit. |
ffi-roundtrip-auditfolio-assistant-sci/skills/content/folio-paper-adapter/ffi-roundtrip-audit.md | Audit compute scripts for script ↔ native ping-pong patterns — loops that cross the FFI / subprocess boundary per iteration, instead of one boundary crossing for the whole pipeline. |
formalizerfolio-assistant-sci/skills/content/folio-paper-adapter/formalizer.md | Lean 4 Formalizer — translates the logical skeleton of narrative mathematical proofs into Lean 4 tactic blocks. |
groebner-basisfolio-assistant-sci/skills/content/folio-paper-adapter/groebner-basis.md | Compute Gröbner bases and normal forms for (possibly non-commutative) algebraic structures using a CAS (e.g. |
latex-build-cachefolio-assistant-sci/skills/content/folio-paper-adapter/latex-build-cache.md | LaTeX build performance — findings + what's safe. |
latex-compilationfolio-assistant-sci/skills/content/folio-paper-adapter/latex-compilation.md | Compile LaTeX source documents into PDF using latexmk and pdflatex, with safe shell-escape isolation across trusted and untrusted environments. |
latex-validationfolio-assistant-sci/skills/content/folio-paper-adapter/latex-validation.md | no description in the artefact |
lean-build-fixfolio-assistant-sci/skills/content/folio-paper-adapter/lean-build-fix.md | Iteratively fix Lean build errors and linter warnings until the build passes cleanly. |
lean-cache-restorefolio-assistant-sci/skills/content/folio-paper-adapter/lean-cache-restore.md | The Lean build loop — restore a warm cache before working, and contribute your build back when done. |
lean-completeness-auditfolio-assistant-sci/skills/content/folio-paper-adapter/lean-completeness-audit.md | Audit Lean formalization completeness across all papers: verify Lake project setup, check import coverage, identify missing .lean files for content blocks that require them, report formalization gaps, and detect stale w… |
lean-environment-setupfolio-assistant-sci/skills/content/folio-paper-adapter/lean-environment-setup.md | Sets up and troubleshoots the Lean 4 environment for Claude Code sessions. |
lean-formal-graphfolio-assistant-sci/skills/content/folio-paper-adapter/lean-formal-graph.md | Build and query the FORMAL dependency graph — what a proof actually invokes, derived from lean.ref. |
lean-generationfolio-assistant-sci/skills/content/folio-paper-adapter/lean-generation.md | Extract theorem-like objects from LaTeX source and generate corresponding Lean 4 stub files with sorry placeholders. |
lean-mathlibext-curatorfolio-assistant-sci/skills/content/folio-paper-adapter/lean-mathlibext-curator.md | Curate <Paper>/MathlibExt.lean — the staging area for upstream- candidate lemmas (List/sort plumbing, Foldl/foldr at Monoid level, Real-function bridges). |
lean-proof-reviewfolio-assistant-sci/skills/content/folio-paper-adapter/lean-proof-review.md | Review Lean 4 proofs for correctness, style, and completeness. |
lean-proof-vacuity-auditfolio-assistant-sci/skills/content/folio-paper-adapter/lean-proof-vacuity-audit.md | Detect and fix Lean "vacuous proof" anti-patterns — declarations that type-check, are sorry-free and axiom-clean, and whose statement matches the .md, yet carry NO mathematical content (they assume what they claim, conc… |
lean-substantive-passfolio-assistant-sci/skills/content/folio-paper-adapter/lean-substantive-pass.md | Convert abstract holds : Prop / claim : Prop placeholder Lean stubs into typed sub-claim contexts with manuscript-semantic field names. |
lean-witness-auditfolio-assistant-sci/skills/content/folio-paper-adapter/lean-witness-audit.md | Audit computation scripts (typically Python) that produce witness statements for Lean formalization. |
paper-importerfolio-assistant-sci/skills/content/folio-paper-adapter/paper-importer.md | Import external papers from PDF, LaTeX, or arXiv into the content object system. |
proof-concisenessfolio-assistant-sci/skills/content/folio-paper-adapter/proof-conciseness.md | Tighten narrative (human-readable) proofs without changing mathematical content. |
proof-editorfolio-assistant-sci/skills/content/folio-paper-adapter/proof-editor.md | Coordinator skill for proof review and repair. |
proof-exposition-reviewfolio-assistant-sci/skills/content/folio-paper-adapter/proof-exposition-review.md | Paper-wide retrospective review of a single proof block. |
proof-gap-auditfolio-assistant-sci/skills/content/folio-paper-adapter/proof-gap-audit.md | Audit individual proofs and the network of proofs for gaps. |
proof-integration-watcherfolio-assistant-sci/skills/content/folio-paper-adapter/proof-integration-watcher.md | Proof-QA integration watcher — watches origin/main + open active PRs + newly-opened PRs for narrative-proof (.md) or Lean-proof (.lean) changes, runs the proof QA skill suite on every detected change, queues gaps, a… |
proof-narrative-lean-equivalencefolio-assistant-sci/skills/content/folio-paper-adapter/proof-narrative-lean-equivalence.md | For each content block with both a narrative proof (.md) and a Lean sibling (.lean), verify the two prove the same thing. |
proof-simplifierfolio-assistant-sci/skills/content/folio-paper-adapter/proof-simplifier.md | Analyse small clusters (2–4) of connected proofs to find simplifications: shared lemmas, redundant constructions, factored abstractions, or shorter proof paths through the dependency graph. |
proof-status-trackingfolio-assistant-sci/skills/content/folio-paper-adapter/proof-status-tracking.md | Maintain the proof-objects.json manifest tracking formalization status, review records, and LaTeX-to-Lean linkages. |
proof-triagefolio-assistant-sci/skills/content/folio-paper-adapter/proof-triage.md | Systematically triages and resolves sorry stubs across the Lean codebase. |
proposition-consolidation-auditfolio-assistant-sci/skills/content/folio-paper-adapter/proposition-consolidation-audit.md | Scan a chapter (or the whole paper) for propositions/theorems/lemmas that overlap structurally — same boxed equation under different parametrisations, near-identical proof skeletons, explicit "specialisation of"/"case o… |
q-usage-watcherfolio-assistant-sci/skills/content/folio-paper-adapter/q-usage-watcher.md | q-usage integration watcher — detects how each content block treats the substrate parameter $q$ (symbolic / generic-R / real-positive / q > 1 / |q| > 1 / unit-circle / root-of-unity / fixed q_0 / n/a) and cross-checks t… |
remark-auditfolio-assistant-sci/skills/content/folio-paper-adapter/remark-audit.md | Audit remarks for provable content. |
rendering-auditorfolio-assistant-sci/skills/content/folio-paper-adapter/rendering-auditor.md | Multi-pass rendering auditor for content blocks. |
rendering-fixesfolio-assistant-sci/skills/content/folio-paper-adapter/rendering-fixes.md | Quick-fix reference for common rendering errors found by the rendering-auditor. |
semantic-review-scopingfolio-assistant-sci/skills/content/folio-paper-adapter/semantic-review-scoping.md | Decide what to review FIRST. |
simulator-math-auditfolio-assistant-sci/skills/content/folio-paper-adapter/simulator-math-audit.md | Audit simulator content objects against the formal mathematics they visualise — formulas and physical constants must be derived from the paper's canonical sources, never hardcoded in the visualisation. |
simulatorfolio-assistant-sci/skills/content/folio-paper-adapter/simulator.md | no description in the artefact |
verify-local-substratefolio-assistant-sci/skills/content/folio-paper-adapter/verify-local-substrate.md | Verify that every result block of a designated class traces back to a designated anchor definition through the uses[] dependency graph. |
witnessed-valuesfolio-assistant-sci/skills/content/folio-paper-adapter/witnessed-values.md | no description in the artefact |
hypothesis-generationfolio-assistant-sci/skills/content/hypothesis-generation/hypothesis-generation.md | Formulate evidence-bounded scientific questions, candidate hypotheses, rival explanations, causal or associational claims, discriminating predictions, measurements, and preregistration-ready analysis plans. |
scientific-critical-thinkingfolio-assistant-sci/skills/content/scientific-critical-thinking/scientific-critical-thinking.md | Evaluate scientific claims and evidence quality. |
scientific-visualizationfolio-assistant-sci/skills/content/scientific-visualization/scientific-visualization.md | Create and audit truthful, accessible, publication-ready scientific figures with Matplotlib, Seaborn, or Plotly. |