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.

Focuses on iterative schema exploration, but LangChain and Vanna already solve this.
Developers learning to build AI agents or SQL tools
Vanna AI · LangChain SQL Agent · LlamaIndex
Most text-to-SQL tools stop at producing a query. But real analysis is iterative. You explore the schema, run queries, adjust, and refine.
This project tries to model that loop instead of treating a query as the final output.
I wrote about the approach, challenges, and tradeoffs here: https://raminmousavi.dev/blog/building-a-sql-analyst-agent
Github repo: https://github.com/raminious/sql-analyst-ai-agent
TLA+ code generation for agents, but audience is tiny—only useful if your agent needs formal verification.
Builds a real agent loop with MCP support from scratch, skipping all frameworks.
ORM alternative with real-time CDC, but Prisma, Drizzle, and Supabase Realtime already own this space.
Unified SQL, graph, and vector engine when Neon and pgvector already split these concerns.
Expected integration—Vercel services should work with Vercel's AI SDK.
Dependency cycle analysis with iteration snapshots shows non-linear structural change patterns.