Type system constraint guides — maps language features to the static guarantees they enforce
Skill indexes for Python, Rust, and Scala 3 type system features and use-case patterns