typing-rule-generator
Generate and format typing rules in inference rule notation for type system design
Best use case
typing-rule-generator is best used when you need a repeatable AI agent workflow instead of a one-off prompt.
Generate and format typing rules in inference rule notation for type system design
Teams using typing-rule-generator should expect a more consistent output, faster repeated execution, less prompt rewriting.
When to use this skill
- You want a reusable workflow that can be run more than once with consistent structure.
When not to use this skill
- You only need a quick one-off answer and do not need a reusable workflow.
- You cannot install or maintain the underlying files, dependencies, or repository context.
Installation
Claude Code / Cursor / Codex
Manual Installation
- Download SKILL.md from GitHub
- Place it in
.claude/skills/typing-rule-generator/SKILL.mdinside your project - Restart your AI agent — it will auto-discover the skill
How typing-rule-generator Compares
| Feature / Agent | typing-rule-generator | Standard Approach |
|---|---|---|
| Platform Support | Not specified | Limited / Varies |
| Context Awareness | High | Baseline |
| Installation Complexity | Unknown | N/A |
Frequently Asked Questions
What does this skill do?
Generate and format typing rules in inference rule notation for type system design
Where can I find the source code?
You can find the source code on GitHub using the link provided at the top of the page.
SKILL.md Source
# 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
Related Skills
color-palette-generator
Generate accessible color palettes with WCAG compliance
tracing-schema-generator
Generate distributed tracing schemas for OpenTelemetry with Jaeger/Zipkin integration
metrics-schema-generator
Generate metrics schemas for Prometheus, OpenTelemetry, and Grafana dashboards
log-schema-generator
Generate structured logging schemas with correlation ID patterns and ELK/Splunk integration
load-test-generator
Generate load test scripts for k6, Locust, and Gatling from OpenAPI specs
graphql-schema-generator
Generate GraphQL schemas from data models with resolver stubs and federation support
docs-site-generator
Generate documentation sites using Docusaurus, MkDocs, or VuePress
dependency-graph-generator
Generate module dependency graphs with circular dependency detection and coupling metrics
dashboard-generator
Generate monitoring dashboards for Grafana and DataDog with alert integration
c4-diagram-generator
Specialized skill for generating C4 model architecture diagrams. Supports Structurizr DSL, PlantUML, and Mermaid formats with multi-level abstraction (Context, Container, Component, Code).
adr-generator
Specialized skill for generating and managing Architecture Decision Records (ADRs). Supports Nygard, MADR, and custom templates with auto-numbering, linking, and status management.
YARA Rules Skill
YARA rule creation, testing, and deployment