用途：该技能用于在编写或修改 .py/.pyi、.rs、.ts/.tsx/.mts/.cts、.go 等文件时，强制遵循统一的严格类型工程规范。它本身是一个索引，具体语言规则位于 references/ 目录，写代码前必须先加载对应语言的 README 及其按需文件；涉及 unsafe、FFI、自定义无锁原语时还需加载 rust-ub 参考。
主要能力：共享六条原则——类型系统即证明系统、在边界解析而非反复校验、一名一概念（NewType/newtype/branded type）、穷尽变体匹配、信任框架保证、测试驱动。TDD 采用红→绿→重构，测试分单元、集成、E2E 三层，遵循 Given/When/Then，尽量少用 mock，优先真实对象、内存假实现、testcontainers、HTTP 层假实现。
使用方式：按文件扩展名识别语言，先读取对应 references 再动手；工具链推荐 uv、cargo、Bun、go modules，类型检查用 basedpyright、clippy、tsc、golangci-lint 等，并给出各语言预提交/CI 命令。
适用场景：需要严格类型、现代技术栈与可测试性的多语言工程。限制：纯代码行数超过 250 行视为架构缺陷；具体配置、脚本与完整规则需查阅 references，本资料未提供其全部内容。