Call for Contributions: Reusable Skills for AI Tools Working with TLA+ (AgentSkills)

13 views

Skip to first unread message

Markus Alexander Kuppe

unread,

Feb 3, 2026, 11:45:12 AM (17 hours ago) Feb 3

to tlaplus

Hi everyone,

we'd like to invite the TLA+ community to check out and contribute to a new repository under the TLA+ GitHub organization:

https://github.com/tlaplus/AgentSkills

AgentSkills is a collection of reusable "skills" for agent-based tools that work with TLA+ specifications. These skills encode common tasks and expertise, such as adding variables to a spec, refactoring actions, or deriving a high-level TLA+ model from source code, in a structured, reusable form that can be used by AI assistants and other automated tooling.

The goal is to make it easier to share practical TLA+ know-how, support emerging agent-based workflows, and encourage a growing ecosystem of tools that can assist with modeling, refactoring, and understanding specs.

We welcome contributions of new skills, improvements to existing ones, ideas for useful capabilities, or feedback on conventions and structure. The repository is intentionally lightweight and community-driven.

If this sounds interesting, please take a look, and feel free to jump in or start a discussion here.