claudecodex

tlaplus

Skills for creating and modifying TLA+ specifications.

3 on GitHubby tlaplusMITupdated todaydevelopment
/

Plugin tlaplus from marketplace sinon in ririnto/sinon. Commands read from the repo's manifest — today.

What it installs

Skills (3)

  • tlaplus-add-variable

    Add a new variable to an existing TLA+ specification without changing its semantics. Ensures the variable is declared, initialized, and added to all UNCHANGED statements. Use when the user asks to add, introduce, or declare a new variable in a TLA+ spec, or mentions UNCHANGED statements.

  • tlaplus-from-source

    Generate a high-level TLA+ model from source code (C, C++, Rust, etc.). Analyzes code to understand its purpose, creates abstractions, writes TLA+ specification, and proposes invariants and properties. Use when the user wants to model source code in TLA+, create a formal specification from implement

  • tlaplus-split-action

    Split a TLA+ action into two sequential actions by introducing a new program counter (pc) state. Handles pc variable updates, UNCHANGED statements, TypeOk predicates, and follows naming conventions with renumbering. Use when the user asks to split, divide, or break an action into two parts, or wants

View source on GitHub

More from ririnto/sinon

All 21 plugins →

spring

claudecodex

Spring development skills for Boot, Web, Data, transactions, security, messaging, Cloud, and Batch workflows.

26 skills · 1 agent

3

workspace-workflow

claudecodex

Coordinate workspace and Git workflow across worktree management, working-tree hygiene, merge and rebase strategies, commit conventions, and Git-contained change descriptions.

6 skills · 3 agents

3

workgraph

claudecodex

A dependency-free plugin that injects advisory Main Agent and bounded node context contracts in Claude Code and Codex.

8 skills

3

java

claudecodex

Java development skills for language design, testing, dependency management, performance, and concurrency.

5 skills · 1 agent · LSP

3

observability-assets

claudecodex

Prometheus and Grafana plugin with practical skills for alert-rule design, recording-rule support, promtool validation, dashboard JSON authoring, and Grafana mixin workflows for version-controlled observability assets.

6 skills · 1 agent

3

reactor

claudecodex

Project Reactor plugin with practical skills for Flux and Mono composition, scheduler selection, Sinks and ConnectableFlux hot-source design, and reactor-test workflows with StepVerifier, TestPublisher, PublisherProbe, and virtual time.

4 skills · 1 agent

3

Similar plugins

superpowers

claudecodex

Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques

15 skills · hooks

obra/superpowers 316,836

context7

claudecodex

Up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.

1 MCP server

upstash/context7 64,709

cli-anything

claude

Build powerful, stateful CLI interfaces for any GUI application using the cli-anything harness methodology.

5 commands

HKUDS/CLI-Anything 58,665

agent-browser

claude

Automates browser interactions for web testing, form filling, screenshots, and data extraction

12 skills

vercel-labs/agent-browser 50,373

Open Code Review

codex

Use Alibaba Open Code Review from local Codex.

2 skills

alibaba/open-code-review 50,068

slidev

claude

Claude Code skill for creating and presenting Slidev slidedecks

1 skill

slidevjs/slidev 49,452

Maintain tlaplus?

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 plugins21 plugins