TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI)
TLA+ code generation for agents, but audience is tiny—only useful if your agent needs formal verification.

Give it a go. I look forward to your thoughts/comments/feedback!
Website: https://getquality.md GitHub: https://github.com/qualitymd/quality.md
TLA+ code generation for agents, but audience is tiny—only useful if your agent needs formal verification.
A joke skill file in someone's dotfiles repo, not an actual product.
Turns PDFs and videos into shareable agent skills—but competitors already exist.
Cross-agent skill conversion handles placeholder syntax differences between Claude and Gemini.
Yet another agent deployment wrapper in a crowded category.
Test suite for LLM agent skills; fills a real gap in agent eval tooling.