Tools sci-tools

Derived: every Tool module a declared `tools` directory holds, with the first sentence of its module docblock. Sub-graph folio-assistant-sci/tools.

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.
ArtefactWhat it declares about itself
index
folio-assistant-sci/tools/index.ts
folio-assistant-sci's Tool nodes: the tools graph for the science layer.
latex-image
folio-assistant-sci/tools/latex-image/latex-image.ts
no description in the artefact
lean-cache
folio-assistant-sci/tools/lean-cache/lean-cache.ts
no description in the artefact
lean-formal-edges
folio-assistant-sci/tools/lean-formal-edges/lean-formal-edges.ts
no description in the artefact
lean-html-docs
folio-assistant-sci/tools/lean-html-docs/lean-html-docs.ts
no description in the artefact
lean-kg-publish
folio-assistant-sci/tools/lean-kg-publish/lean-kg-publish.ts
no description in the artefact
lean-render-publish
folio-assistant-sci/tools/lean-render-publish/lean-render-publish.ts
no description in the artefact
paper-feature-build
folio-assistant-sci/tools/paper-feature-build/paper-feature-build.ts
no description in the artefact
tex-install
folio-assistant-sci/tools/tex-install/tex-install.ts
no description in the artefact

folio-assistant — code under the Apache License 2.0, documentation under CC BY 3.0. Generated schema and API references are rebuilt from source on every push to main.

deployed b08c961 · 2026-10-23T23:11:09Z