The full skill instructions and embedded helper script are in skills/pdf2plot.md at the root of this repository. Read that file now and follow its instructions.
skill
tla-pluscal-bridge
ANo problem foundDylanCkawalec/Mermate
Bridge between ordinary programming thought and pure TLA+ via PlusCal. Use when the user wants an algorithm-style description that can be translated to TLA+ or when teaching the mapping from imperative constructs to actions and state machines. Trigger on PlusCal requests algorithm modeling or when a sequential or multi-process algorithm is easier to express first in PlusCal.
tla-pluscal-bridge got grade A on our automated scan on 2026-10-18.
Before you install
- Read any scripts this skill ships.
- Note every URL it fetches.
- Check allowed-tools and hooks.
Embed this grade
Add this badge to your README. It shows the current grade from CheckSkills.
Report this skill if the grade looks wrong, or if something slipped through.
Related
Run all code generation (protobuf, sqlc, frontend build)
name: ship description: Release protocol: pre-flight checks, changelog, semantic version, tag, deploy. disable-model-invocation: true
name: init description: Bootstrap the .resonance/ project memory (soul, state, docs scaffold). Run once per new project. disable-model-invocation: true
name: goal description: The autonomous goal loop: frame, decompose, then build and verify each slice against real checks, bounded, never auto-ship. disable-model-invocation: true