Hang Lu Su
@homeowmorphism
PhD in geometric group theory excited about formalization and automated theorem proving.
4
Published Tools
5
Total Stars
0
Weekly Downloads
30
GitHub Followers
42
Public Repos
100/100
Avg Security
Published Tools
4 Skillsacross 2 categorieshomeowmorphism
Claude Code skill: sentence-level readability rules for prose a human will read, each pinned to the psycholinguistics literature
...morehomeowmorphism
Claude Code skill: adaptive teaching for any topic, with a persistent learner model and an evidence-pinned answer protocol
...morehomeowmorphism
Claude Code skill: evidence-driven workflow for designing a good Mathlib definition (precedent excavation, design axes, compiling example sheets)
...morehomeowmorphism
Claude Code skill: navigator protocol for building code or proofs together, where you drive and Claude guides you to do it alone
...more