Helps construct RwEq (rewrite equivalence) proofs using transitivity, congruence, and canonical lemmas from the LND_EQ-TRS system. Use when proving path equalities, working with quotients, or establis
.claude/skills/rweq-proofs
Add unsigned integer (uint) type support to PyTorch operators by updating AT_DISPATCH macros. Use when adding support fo...
Guide users through creating Agent Skills for Claude Code. Use when the user wants to create, write, author, or design a...
Create distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to...