younes-io

2 mods in 1 plugin, 1 repository, 21 stars between them.

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

tla-workbenches

01

younes-io/agent-skills

Plugin Claude Code

Bundles 2 skills · 166 tokens together

TLA+ skills for checking specs and writing proofs.

not rated 21 3mo ago A tokens not measured original MIT