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.

Closes the loop: agents read eval traces to fix their own regressions.
LLM application engineers and prompt developers
LangSmith · Arize Phoenix
TLA+ code generation for agents, but audience is tiny—only useful if your agent needs formal verification.
Plan-mode plugin for Pi Coding Agent, but existing Claude Code version already exists.
Zsh-native coding agent that keeps your aliases working unlike standalone CLIs.
Rust coding agent with ast-grep integration competing with Aider and Cursor.
Gives CLI coding agents screen control to test UIs like a human would.
Multi-provider routing and managed agent templates offer flexibility Claude Code lacks.