npx claudepluginhub punt-labs/claude-plugins --plugin z-spec[file.tex]/checkRuns project validation checks like lint/test across JavaScript/TypeScript, Python, Go, Rust, Ruby and auto-fixes errors without committing changes.
/checkRuns project validation checks like lint/test across JavaScript/TypeScript, Python, Go, Rust, Ruby and auto-fixes errors without committing changes.
/checkSpawns task-check agent to verify task completion given task ID, location (file path or CLI command), work summary, and optional attempt number.
/checkRuns myfy doctor for app validation, ruff linting, ty type checking, and pytest tests. Summarizes PASS/FAIL results with fix guidance on failures.
/checkChecks status of Gateway API resources (GatewayClass, Gateway) in Kubernetes/OpenShift cluster, optionally in a namespace. Outputs summary of counts, conditions, addresses, listeners, and errors.
/checkTriggers background Redline review tasks (/redline:review, /redline:adversarial, or /redline:rescue <task>) if Stop hook prompts after responses. Skips trivial changes, recent reviews, or running actions.
Type-check a Z specification using the fuzz type-checker.
File: $ARGUMENTS
Verify fuzz is installed:
which fuzz >/dev/null 2>&1 || echo "FUZZ_NOT_FOUND"
If fuzz not found: Stop and tell the user:
fuzz is not installed. Run
/z-spec:setupfirst to install the Z specification tools.
Before checking, ensure fuzz.sty is available in the docs/ directory:
if [ ! -f docs/fuzz.sty ]; then
if [ -f /usr/local/share/texmf/tex/latex/fuzz.sty ]; then
cp /usr/local/share/texmf/tex/latex/fuzz.sty docs/
cp /usr/local/share/texmf/fonts/source/public/oxsz/*.mf docs/
else
curl -sL -o docs/fuzz.sty "https://raw.githubusercontent.com/Spivoxity/fuzz/master/tex/fuzz.sty"
for mf in oxsz.mf oxsz10.mf oxsz5.mf oxsz6.mf oxsz7.mf oxsz8.mf oxsz9.mf zarrow.mf zletter.mf zsymbol.mf; do
curl -sL -o "docs/$mf" "https://raw.githubusercontent.com/Spivoxity/fuzz/master/tex/$mf"
done
fi
# Update .gitignore
for pattern in "docs/fuzz.sty" "docs/*.mf" "docs/*.pk" "docs/*.tfm" "docs/*.aux" "docs/*.log" "docs/*.fuzz" "docs/*.toc"; do
grep -qxF "$pattern" .gitignore 2>/dev/null || echo "$pattern" >> .gitignore
done
fi
If a file path is provided, use it directly.
If no file specified:
docs/ for .tex files containing Z specificationsfuzz -t <file>.tex
The -t flag reports types of global definitions, which helps verify the specification is correctly typed.
Success: Fuzz outputs the types of all definitions without errors.
Example good output:
Given USERID
Schema Account
balance: NN
status: Status
End
Errors: Fuzz reports line numbers and error descriptions.
Common errors and fixes:
| Error | Likely Cause | Fix |
|---|---|---|
Identifier X is not declared | Missing type definition | Add given set or free type |
Application of a non-function | Using # incorrectly | Reformulate cardinality expression |
Syntax error at symbol "true" | Using true/false | Define BOOL free type with btrue/bfalse |
Type mismatch | Wrong type in expression | Check types in fuzz output |
If successful:
If errors:
reference/z-notation.mdreference/schema-patterns.md