type-checker-generator
CommunityGenerate type checkers from specs.
Software Engineering#static analysis#code generation#type checking#compiler#type systems#language design
Authorrainoftime
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill automates the creation of type checkers for programming languages, ensuring type safety and aiding in language design and prototyping.
Core Features & Use Cases
- Automated Generation: Creates type checker code from formal type system specifications.
- Soundness Proofs: Assists in generating proof sketches for type soundness (progress and preservation).
- Use Case: When designing a new domain-specific language, use this Skill to quickly generate a robust type checker based on your defined type rules, accelerating the prototyping phase.
Quick Start
Use the type-checker-generator skill to create a type checker for a simple lambda calculus with integer and boolean types.
Dependency Matrix
Required Modules
None requiredComponents
scriptsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: type-checker-generator Download link: https://github.com/rainoftime/pl-skills/archive/main.zip#type-checker-generator Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.