a5c-ai/Type Theory
library/specializations/programming-languages/skills/type-theory/SKILL.md
Expert skill in type theory foundations for implementing type systems including inference, checking, and subtyping
$ install --global
skillsauthnpx skillsauth add a5c-ai/babysitter Type TheoryInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: Apr 2, 2026, 1:15 PM57.2s2 files scanned
SKILL.md
- name:
- Type Theory
- description:
- Expert skill in type theory foundations for implementing type systems including inference, checking, and subtyping
- category:
- Type Systems
Type Theory Skill
Overview
Expert skill in type theory foundations for implementing type systems including inference, checking, and subtyping.
Capabilities
- Implement Hindley-Milner type inference with Algorithm W
- Implement constraint-based type inference with unification
- Design and implement bidirectional type checking
- Implement structural and nominal subtyping
- Handle variance (covariant, contravariant, invariant)
- Implement row polymorphism and record types
- Design flow-sensitive type narrowing
- Implement type error message generation
Target Processes
- type-system-implementation.js
- semantic-analysis.js
- generics-polymorphism.js
- effect-system-design.js
Dependencies
Academic type theory literature (TAPL, ATTAPL)
Usage Guidelines
- Algorithm Selection: Choose between HM inference and bidirectional checking based on language features
- Constraint Generation: Separate constraint generation from solving for cleaner implementation
- Error Localization: Track constraint origins for accurate error location
- Variance: Document variance rules explicitly for all generic positions
- Gradual Typing: Consider gradual typing for mixed typed/untyped codebases
Output Schema
{
"type": "object",
"properties": {
"inferenceAlgorithm": {
"type": "string",
"enum": ["hindley-milner", "bidirectional", "constraint-based", "flow-sensitive"]
},
"subtypingKind": {
"type": "string",
"enum": ["structural", "nominal", "mixed"]
},
"features": {
"type": "array",
"items": { "type": "string" }
},
"generatedFiles": {
"type": "array",
"items": { "type": "string" }
}
}
}
Related Skills
a5c-ai/model-card-generator
development
VerifiedTrustedCommunity
Model documentation skill for generating model cards following Google's model card framework.
680SKILL.mdUpdated Apr 28, 2026
a5c-ai/mlflow-experiment-tracker
development
VerifiedTrustedCommunity
MLflow integration skill for experiment tracking, model registry, and artifact management. Enables LLMs to log experiments, compare runs, manage model lifecycle, and retrieve artifacts through the MLflow API.
680SKILL.mdUpdated Apr 28, 2026
a5c-ai/lime-explainer
data-ai
VerifiedTrustedCommunity
LIME-based local explanation skill for individual predictions across tabular, text, and image data.
680SKILL.mdUpdated Apr 28, 2026
a5c-ai/kubeflow-pipeline-executor
devops
VerifiedTrustedCommunity
Kubeflow Pipelines skill for ML workflow orchestration, component management, and Kubernetes-native ML.
680SKILL.mdUpdated Apr 28, 2026