Slash Command

/review

Review and improve an existing TLA+ specification

Install

npx claudepluginhub andrueandersoncs/claude-tla-plus-plugin --plugin tla-plus

Prompt Preview

# Review TLA+ Specification

Review the TLA+ specification and provide feedback on: "$ARGUMENTS"

## Review Checklist

1. **Structure and Style**:
   - Proper module header with documentation
   - Clear separation of constants, variables, operators
   - Consistent naming conventions
   - Adequate comments explaining intent

2. **Correctness**:
   - Init covers all variables
   - Next is complete (all possible transitions)
   - Actions have proper preconditions
   - UNCHANGED clauses are correct
   - No unintended variable shadowing

3. **Type Safety**:
   - TypeInvariant is defined
   - All...

Command Content

Other plugins with /review

/review

commands/

Reviews staged changes or recent commits across five axes—correctness, readability, architecture, security, performance—producing categorized findings with file:line references and fixes.

agent-skills

19.5k

/review

Runs Codex code review on local git state (working tree or vs base branch). Supports --wait/--background, --base <ref>, --scope auto|working-tree|branch.

ReadGlobGrep+3

codex

11.4k

/review

commands/

Orchestrates multi-LLM code review across Codex, Gemini, Claude, Perplexity, and others; checks provider availability and posts inline PR comments.

octo

2.8k

/review

Reviews HTML file for design anti-patterns, principles violations, and accessibility issues. Generates markdown report with status tables and recommendations.

ReadGlobGrep+2

frontend-design-pro

2.7k

/review

Reviews specified code scope via four specialists (quality, security, performance, architecture), producing summary, detailed findings, refactoring suggestions, prioritized action plan.

essentials

2.4k

/review

Dispatches the reviewer agent to review current branch code changes against code quality principles.

frontend-fundamentals

1.9k

Stats

Stars1

Forks0

Last CommitJan 14, 2026

Actions

View Source View Plugin View on GitHub View README

# Review TLA+ Specification Review the TLA+ specification and provide feedback on: "$ARGUMENTS" ## Review Checklist 1. **Structure and Style**: - Proper module header with documentation - Clear separation of constants, variables, operators - Consistent naming conventions - Adequate comments explaining intent 2. **Correctness**: - Init covers all variables - Next is complete (all possible transitions) - Actions have proper preconditions - UNCHANGED clauses are correct - No unintended variable shadowing 3. **Type Safety**: - TypeInvariant is defined - All...

Review TLA+ Specification

Review the TLA+ specification and provide feedback on: "$ARGUMENTS"

Review Checklist

Structure and Style:

Proper module header with documentation
Clear separation of constants, variables, operators
Consistent naming conventions
Adequate comments explaining intent

Correctness:

Init covers all variables
Next is complete (all possible transitions)
Actions have proper preconditions
UNCHANGED clauses are correct
No unintended variable shadowing

Type Safety:

TypeInvariant is defined
All variables have clear types
Set comprehensions are well-formed
Function domains are explicit

Properties:

Safety properties are clearly stated
Liveness properties (if any) have fairness
Properties match system requirements

Model Checking:

Constants are appropriately bounded
Symmetry is used where applicable
State constraints limit explosion

Common Issues to Check:

Deadlock possibility
Missing UNCHANGED clauses
Overly restrictive preconditions
Unbounded state growth
Missing fairness for liveness

Output:

Summary of findings
Specific recommendations with code examples
Priority: Critical > Important > Minor

Review TLA+ Specification

Review the TLA+ specification and provide feedback on: "$ARGUMENTS"

Review Checklist

Structure and Style:
- Proper module header with documentation
- Clear separation of constants, variables, operators
- Consistent naming conventions
- Adequate comments explaining intent
Correctness:
- Init covers all variables
- Next is complete (all possible transitions)
- Actions have proper preconditions
- UNCHANGED clauses are correct
- No unintended variable shadowing
Type Safety:
- TypeInvariant is defined
- All variables have clear types
- Set comprehensions are well-formed
- Function domains are explicit
Properties:
- Safety properties are clearly stated
- Liveness properties (if any) have fairness
- Properties match system requirements
Model Checking:
- Constants are appropriately bounded
- Symmetry is used where applicable
- State constraints limit explosion
Common Issues to Check:
- Deadlock possibility
- Missing UNCHANGED clauses
- Overly restrictive preconditions
- Unbounded state growth
- Missing fairness for liveness
Output:
- Summary of findings
- Specific recommendations with code examples
- Priority: Critical > Important > Minor