type-inference-validation
About
This skill provides static type inference and validation for navigation paths, rejecting invalid path compositions before caching. It enforces type compatibility between Navigator paths and input structures, working alongside Möbius filtering as a second line of defense against structural impossibilities. Use it when you need compile-time guarantees that your navigation paths are type-safe with your data structures.
Quick Install
Claude Code
Recommendednpx skills add plurigrid/asi -a claude-code/plugin add https://github.com/plurigrid/asigit clone https://github.com/plurigrid/asi.git ~/.claude/skills/type-inference-validationCopy and paste this command in Claude Code to install this skill
GitHub Repository
Frequently asked questions
What is the type-inference-validation skill?
type-inference-validation is a Claude Skill by plurigrid. Skills package instructions and resources that Claude loads on demand, so Claude can perform type-inference-validation-related tasks without extra prompting.
How do I install type-inference-validation?
Use the install commands on this page: add type-inference-validation to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.
What category does type-inference-validation belong to?
type-inference-validation is in the Testing category, tagged general.
Is type-inference-validation free to use?
Yes. type-inference-validation is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.
Related Skills
This Claude Skill runs the lm-evaluation-harness to benchmark LLMs across 60+ standardized academic tasks like MMLU and GSM8K. It's designed for developers to compare model quality, track training progress, or report academic results. The tool supports various backends including HuggingFace and vLLM models.
This skill provides comprehensive knowledge for implementing Cloudflare Cron Triggers to schedule Workers using cron expressions. It covers setting up periodic tasks, maintenance jobs, and automated workflows while handling common issues like invalid cron expressions and timezone problems. Developers can use it for configuring scheduled handlers, testing cron triggers, and integrating with Workflows and Green Compute.
This Claude Skill provides a Playwright-based toolkit for testing local web applications through Python scripts. It enables frontend verification, UI debugging, screenshot capture, and log viewing while managing server lifecycles. Use it for browser automation tasks but run scripts directly rather than reading their source code to avoid context pollution.
This skill helps developers complete finished work by verifying tests pass and then presenting structured integration options. It guides the workflow for merging, creating PRs, or cleaning up branches after implementation is done. Use it when your code is ready and tested to systematically finalize the development process.
