younes-io/agent-skills
agentic skills to write TLA+ specs or TLAPS proofs
41 best points · 4 comments · 2 Hacker News posts · 21 GitHub stars · View on GitHub
Hacker News discussions
- Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (41 points, 4 comments, by youio, 2026-02-22)
- Show HN: I Made an AI Skill to Help Write Tlaps Proofs (1 points, 0 comments, by youio, 2026-02-26)