ZooWork Market · Skill

tla-specification

TLA+ formal specification language for distributed systems and concurrent algorithms

◇

melodic-software

melodic-software-claude-code-plugins-tla-specification · v1.0.2

分类coding-agents-ides

安装次数14

更新时间2026-09-01T09:49:40.480Z

校验状态待验证