Logo
Agent Skills Guide
All SkillsCategoryTagsPublishers
Logo
Agent Skills Guide
Logo
Agent Skills Guide

Discover and download skills for Claude Code and other AI agents

Skills
  • All Skills
  • Category
  • Tags
  • Publishers
Legal
  • Privacy Policy
  • Terms of Service
Copyright © 2026 Agent Skills Guide. Open Source.
  1. Home
  3. Skills
  5. tla-specification

tla-specification

majiayu000/claude-skill-registry-data
@majiayu000/claude-skill-registry-data
2
•published 2026/03/13

TLA+ formal specification language for distributed systems and concurrent algorithms

📦 Install Skill

Command line install

Install directly with the `skills` CLI.

npx skills add majiayu000/claude-skill-registry-data/other/tla-specification-melodic-software-claude-code-plugins

Local download

Download only this skill directory.

Download tla-specification only
File Explorer
0 files
No file selected
readonly

Select a file to view its content

Resources

  • Repository

Tags

DocumentationBest PracticesAutomation