← Latest products

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

agentic skills to write TLA+ specs or TLAPS proofs.

CLIOpen source

21 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. A CLI to scrape, search, and interact with the web for AI agents

    docs.firecrawl.dev

    Firecrawl skills are an easy way for AI agents such as Codex, Claude Code, Cursor, and OpenCode to use Firecrawl through the CLI.

    Hacker News5 pts

  2. Teaching AI agents to write better GraphQL

    skills.sh

    15 agent skills from apollographql/skills — including rust-best-practices, apollo-client, graphql-schema. Install with npx skills add apollographql/skills.

    Hacker News6 pts

  3. Whetstone

    whetstone.akbarsha.dev

    20 Claude Code skills, each distilled from one real failure

    Hacker News6 pts

  4. Showboat and Rodney

    simonwillison.net

    so agents can demo what they've built

    Hacker News91 pts

  5. Agent-skills-eval

    github.com

    Test whether Agent Skills improve outputs

    Hacker News79 pts