Safer Roblox code without typing every variable.
Guides agents toward type-safe Luau code that preserves inference and exposes clear module contracts.
When to use it
Use when working on Luau annotations, generics, unions, narrowing, table sealing, strictness, exported types, metatable typing, or new-solver features.
It changes how the agent types Luau project code, favoring precise inference and explicit annotations at boundaries.
What you provide
No setup requirements listed.
No additional actions listed.