Dev tools · alternatives · 2026
24 alternatives to TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI)
TLA+ Workbench is a coding agent skill compatible with Vercel's skills CLI that enables developers to work with TLA+ specifications. It provides tools for formal verification work, allowing software engineers and… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes.
- 1
Tessl▲260I'm Guy, the founder behind Snyk — now building Tessl, a package manager for agent skills. We’ve recently witnessed that most teams still treat skills as static artifacts: markdown files, created or copied from repo to repo. This approach offers a strong initial boost, but quickly creates debt: - Skills are duplicated, and updates never roll out. - Poor quality skills go unseen, misguiding agents instead of helping. - Skill knowledge grows stale, and don’t keep up with the systems and practices they describe. Without a way to evaluate skills, teams have no clear way to understand how good a…
Feb 2026 · tessl.io · its alternatives →
- 2
Firecrawl CLI▲249Firecrawl skills are an easy way for AI agents such as Codex, Claude Code, Cursor, and OpenCode to use Firecrawl through the CLI.
Mar 2026 · docs.firecrawl.dev · its alternatives →
- 3
Swytchcode▲465Give agents reliable access to 2,000+ APIs w/ durable state
Nov 2025 · swytchcode.com · its alternatives →
- 4
The designer for your AI agents (Openclaw, CC, Codex)
Mar 2026 · lokuma.ai · its alternatives →
- 5
- 6
Skillkit▲252It's an open-source project that lets you create, translate, and work with multiple agents at the same time, and more.
Feb 2026 · agenstskills.com · its alternatives →
- 7
- 8
Self-hosted AI agent that connects 1000+ apps on Vercel
May 2026 · github.com · its alternatives →
- 9
- 10
Single-agent LLMs suck at long-running complex tasks. We’ve open-sourced a multi-agent orchestrator that we’ve been using to handle long-running LLM tasks. We found that single LLM agents tend to stall, loop, or generate non-compiling code, so we built a harness for agents to coordinate over shared context while work is in progress. How it works: 1. Orchestrator agent that manages task decomposition 2. Sub-agents for parallel work 3. Subscriptions to task state and progress 4. Real-time sharing of intermediate discoveries between agents We tested this on a Putnam-level math problem, but the…
Feb 2026 · github.com · its alternatives →
- 11
VELA▲74Securely execute AI-generated & untrusted code
Jun 2026 · vela-secure.vercel.app · its alternatives →
- 12
- 13
SPECTRE▲124An agentic coding workflow for product builders
Feb 2026 · github.com · its alternatives →
- 14
Zero▲134Vercel's programming language built for AI agents
Aug 2026 · zerolang.ai · its alternatives →
- 15
agentcad▲110A CAD design tool for coding agents (free + open source)
Jun 2026 · agentcad.dev · its alternatives →
- 16
A test runner for agentskills.io-style AI agent skills - darkrishabh/agent-skills-eval
May 2026 · github.com · its alternatives →
- 17
LogiCoal▲89AI multi-agent coding assistant for your terminal
Feb 2026 · logicoal.ai · its alternatives →
- 18FL
Hi HN! We just launched Codacy Guardrails, an IDE extension with a CLI for code analysis and MCP server that enforces security & quality rules on AI-generated code in real-time. It hooks into AI coding assistants (like VS Code Agent Mode, Cursor, Windsurf), silently scanning and fixing AI-suggested code that has vulnerabilities or violates your coding standards, while the code it’s being generated. We built this because coding agents can be a double-edged sword. They do boost productivity, but can easily introduce insecure or non-compliant code. One recent research team at NYU found that 40%…
2025 · its alternatives →
- 19
Sklm▲60Centralize, scope, and sync skills for every AI agent
Jun 2026 · auran0s.github.io · its alternatives →
- 20
✨ Fully autonomous AI Agent that can perform complicated tasks and projects using terminal, browser, and editor. - semanser/codel
2024 · github.com · its alternatives →
- 21
Research-grounded, harness-agnostic skills for AI coding agents - SteveVitali/agent-skills
Aug 2026 · github.com · its alternatives →
- 22
Run and review multiple coding agent sessions
May 2026 · github.com · its alternatives →
- 23
📚 Sync skills across all AI CLI tools with one command and simplify team sharing. Supporting Codex, Claude Code, OpenClaw & more - runkids/skillshare
Jan 2026 · github.com · its alternatives →
- 24
Hi HN! We're Giacomo and Roberto, authors of Ratel (https://github.com/ratel-ai/ratel) We used to help SaaS companies build agents on top of their products. Whenever we wanted to expand the agents’ complexity/scope, by adding more and more tools and instructions, we always run in the same issue: context bloat, with frequent hallucinations and sky high token bills. So we started constantly engineering the agents, dynamically loading tools, splitting them into subagents, inventing our own way to support skills And that's exactly when we started building Ratel: a…
Jul 2026 · github.com · its alternatives →
Also compare
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →