# Typing Rule Generator

> Generate and format typing rules in inference rule notation for type system design

- Skill: `a5c-ai/typing-rule-generator` (Agent Skill)
- Install (CLI): `npx skillmds@latest add a5c-ai/typing-rule-generator`
- Raw SKILL.md: https://api.skillmd.com/api/skills/a5c-ai/typing-rule-generator/raw
- Safety review: pending (external: skill-scanner PASS, skillspector PASS)
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: AI & ML
- Author: a5c-ai (https://skillmd.com/u/a5c-ai)
- Updated: 2026-09-09
- Page: https://skillmd.com/skills/a5c-ai/typing-rule-generator

---


# 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