homeowmorphism

homeowmorphism/human-prose

Plugin Claude Code

Bundles 1 skill · 91 tokens together

Sentence-level readability rules for prose a human will read, each pinned to the psycholinguistics literature.

homeowmorphism/mathlib-api

Skill Claude CodeCodex

Evidence-driven workflow for designing a Mathlib definition and the API around it. Use when adding a new structure/def intended for mathlib; when choosing between design alternatives (index type as field vs parameter, Set vs indexed family, coarse set vs finer indexed structure and when the fine one should exist at…