proof-readability

Run `npx skills use "https://github.com/morankor/theorist-toolbox" --skill "morankor/theorist-toolbox/proof-readability"` and follow the generated skill instructions now. Read its complete output, redirecting it to a temporary file first if necessary. Resolve relative paths from the supporting-files directory it provides.

Use the skills in "https://github.com/morankor/theorist-toolbox" that are relevant to the current task. Run `npx skills add "https://github.com/morankor/theorist-toolbox"` and select the relevant skills, then follow their instructions.