claudecodex

tla-workbenches

agentic skills to write TLA+ specs or TLAPS proofs

21 on GitHubMITupdated 4 months ago

Not in a marketplace yet, so it loads for one session with --plugin-dir.

Plugin tla-workbenches in younes-io/agent-skills. Commands read from the repo's manifest — 1 month ago.

What it installs

Skills (2)

  • tla-check
  • tla-proof
View source on GitHub

Problems found in this repo's manifests

  • .claude-plugin/marketplace.json is not valid JSON
  • .agents/plugins/marketplace.json is not valid JSON

Maintain tla-workbenches?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex pluginslisted