← 최신 프로덕트

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

agentic skills to write TLA+ specs or TLAPS proofs.

CLI오픈소스

21 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  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점

  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점

  3. Whetstone

    whetstone.akbarsha.dev

    20 Claude Code skills, each distilled from one real failure

    Hacker News6점

  4. Showboat and Rodney

    simonwillison.net

    so agents can demo what they've built

    Hacker News91점

  5. Agent-skills-eval

    github.com

    Test whether Agent Skills improve outputs

    Hacker News79점