TLA+ Specification Skill When to Use This Skill Use this skill when: - Tla Specification tasks - Working on tla+ formal specification language for distributed systems and concurrent algorithms - Planning or design - Need guidance on Tla Specification approaches - Best practices - Want to follow established patterns and standards Overview TLA+ formal specification language for designing and verifying distributed systems and concurrent algorithms. MANDATORY: Documentation-First Approach Before writing TLA+ specifications: 1. Invoke skill for formal methods patterns 2. Verify TLA+ syntax via MCP…