Individual skill

visual-paper

Build an interactive, audited "visual paper" website from a mathematical LaTeX paper (optionally with a Lean formalisation) — a zoomable dependency graph of the proofs, exact statements and step-by-step proofs quoted from the source, audited summaries, clickable notation, interactive figures, Lean badges, and a public static deployment. Use when turning a finished or nearly finished paper into a companion website, re-syncing one to a revised paper, auditing its dependency links, or launching it alongside an arXiv posting.

skills/visual-paper/SKILL.md

Source commit 4ec9c7bf76f0bdf931a00134cefe1f8ab7548e02

What was checked

Matches the observed repository HEAD

Yes

Scanner rules are current

No

Repository scan complete

No

Skill scan complete

No

Observed behavior

Not checked yet

Last checked

Nov 6, 2026

These are observations at the recorded commit, not a guarantee of safety. Review the source before running it.

Install this skill

Choose an agent in your Stack or copy a command below. Commands fetch the pinned commit and copy only this skill directory. Existing destinations are refused. Copying a command does not install anything.

An install command is unavailable: current rules, complete repository and skill scans, an eligible behavior level and a permitted license are required.