Skill instructions (SKILL.md) could not be loaded from local cache or raw GitHub repository.
tla-specification
star 81
TLA+ formal specification language for distributed systems and concurrent algorithms
By melodic-software schedule Updated 12/27/2025 Install via CLI
npx skills add https://github.com/melodic-software/claude-code-plugins --skill tla-specification
Repository Details
star Stars
81
call_split Forks
12
navigation Branch
main
article Path
SKILL.md
More from Creator
melodic-software Explore all skills →