TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI)

Visit github.com ↗Alternativestop 11% of February 2026

In plain words

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 verification specialists to integrate TLA+ into their agent-assisted development workflows. The skill integrates with the Vercel ecosystem for streamlined deployment and execution.

written from the facts on this page · September 2026

More dev tools this month

the category →

Dograh▲592
The open source VAPI alternative
Dev tools · 25d ago · dograh.com
Meridian▲530
Don't let your work go unnoticed. Get promoted!
Dev tools · 20d ago · meridiona.com
x1▲516
Lovable for iPhone apps go from idea to App Store
Dev tools · 11d ago · x1.new
The GTM Co-Founder▲402
Open-source GTM skills for technical founders
Dev tools · 29d ago · gtmcofounder.com
Open-Source eInk Bike Computer▲388
OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.
Dev tools · 1d ago · opentrailpaper.com
Nuphos▲380
The AI-Native DevOps Workspace.
Dev tools · 24d ago · nuphos.ai

Launched alongside, February 2026

the whole month →

Rork Max▲1,430
Best AI for iOS apps. Website that replaces Xcode
Life & fun · Feb 2026 · rork.com
happycapy▲1,367
The agent-native computer, for the rest of us
AI · Feb 2026 · happycapy.ai
SuperX▲902
All-in-one growth OS for serious 𝕏 creators
AI · Feb 2026 · superx.so
KiloClaw▲871
Hosted OpenClaw. No Mac mini required.
Dev tools · Feb 2026 · kilo.ai
Lovon AI Therapy▲802
Talk it out and feel better
AI · Feb 2026 · lovon.app
Claude Opus 4.6▲764
Claude’s most advanced model for agentic tasks
AI · Feb 2026 · anthropic.com