Back to all repositories
YO
agent-skills
by younes-io
agentic skills to write TLA+ specs or TLAPS proofs
20stars0forks1watchers/subscribers1issues
formal-methodsformal-verificationspecificationtlaplustlaps
- Language
- Shell
- License
- MIT License
- Size
- 82 KB
- Created
- Feb 8, 2026
- Last Updated
- Jul 18, 2026
- Last Pushed
- Jul 11, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.