rigor-builtin-import
OfficialEnhance Ruby type inference by importing built-in method types.
Authorrigortype
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill enables developers to incorporate Ruby's core and stdlib class types into Rigor's static analysis catalog, improving type inference accuracy and coverage.
Core Features & Use Cases
- Type Importation: Import Ruby built-in class types from CRuby reference sources into Rigor's catalog for comprehensive static analysis.
- Workflow Extension: Extend per-class catalog coverage for classes like Hash, Range, Set, Time, and more, allowing for accurate type reasoning and bug detection.
- Use Case: When adding support for a new core class or refining existing ones, this Skill facilitates importing and regenerating catalog data with decision points for mutation handling and classification.
Quick Start
Use the Skill to import Ruby core class types into Rigor's catalog, then regenerate catalog YAML files and update runtime loaders accordingly.
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: rigor-builtin-import Download link: https://github.com/rigortype/rigor/archive/main.zip#rigor-builtin-import 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 471,000+ vetted skills library on demand.