typing-rule-generator
Generate and format typing rules in inference rule notation for type system design
npx skills add a5c-ai/babysitter --skill typing-rule-generator --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Typing Rule Generator ## Purpose Provides expert guidance on generating typing rules for programming language design using formal inference rule notation. ## Capabilities - LaTeX inference rule generation - Syntax-directed rule derivation - Typing derivation tree construction - Rule dependency analysis - Export to Ott/LNGen format - Handle subtyping and polymorphism ## Usage Guidelines 1. **Syntax Definition**: Define language syntax formally 2. **Rule Design**: Design typing rules for each construct 3. **Derivation Trees**: Build typing derivation examples 4. **Formatting**: Generate publication-quality rules 5. **Export**: Export to mechanization tools ## Tools/Libraries - LaTeX (mathpartir) - Ott - LNGen - PLT Redex
- Purpose
- Capabilities
- Usage Guidelines
- Tools/Libraries
What does the typing-rule-generator skill do?
Generate and format typing rules in inference rule notation for type system design
How do I install it?
Run `npx skills add a5c-ai/babysitter --skill typing-rule-generator --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From a5c-ai/babysitter, a repository with 1,642 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.