DylanCkawalec/Mermate

mermate-openclaw-mcp

Use when the user wants to build, extend, or debug the Python MCP bridge that exposes Mermate actions and stage flows to OpenClaw or other MCP clients.

Idioma del texto original: inglés

mermate-agentic-infra

Core agentic infrastructure of the Mermate application — detached agent sessions (run/finalize/attach/stop), agent modes, depth scoring and role caps, Opseeq stage-event bridge with heartbeat lifecycle, run lineage and trace store, boot/health gates, and the…

Idioma del texto original: inglés

mermate

Master orchestrator for the Mermate application (mermaid-gpt v5.0.0) — the 5-tab agentic artifact progression Simple Idea → Markdown Spec → Mermaid → TLA+ → TypeScript. Carries the authoritative model of the pipeline state machine, the run-lineage contract,…

Idioma del texto original: inglés

mermate-tab-idea

Stage 1 tab (Simple Idea) of the Mermate pipeline — raw idea intake, AI enhancement, voice transcription, and the Idea → Markdown transition. Use when editing idea-stage UI, the enhance/copilot path, voice input, or the /api/analyze and /api/copilot/enhance…

Idioma del texto original: inglés

mermate-tab-markdown

Stage 2 tab (Markdown Spec) of the Mermate pipeline — markdown architecture spec intake (paste/upload .md/.markdown/.txt), agent planning and spec refinement, and the Markdown → Mermaid unlock. Use when editing md-stage UI, upload handling, or spec refinement…

Idioma del texto original: inglés

mermate-tab-mermaid

Stage 3 tab (Mermaid) of the Mermate pipeline — Mermaid source compile/render to mastered PNG/SVG diagrams, depth scoring, and the run artifacts that TLA+ and TypeScript build from. Use when editing render pipeline, mermaid-cli integration, depth scoring,…

Idioma del texto original: inglés

mermate-tab-tla

Stage 4 tab (TLA+) of the Mermate pipeline — formal spec generation from a mastered run, SANY parse, TLC model check, spec edit/revalidate, and the Specula engine bridge. Use when editing TLA+ generation, verification, repair, the /api/render/tla endpoints,…

Idioma del texto original: inglés

mermate-tab-typescript

Stage 5 tab (TypeScript) of the Mermate pipeline — TypeScript runtime generation from a verified TLA+ spec, tsc compile, tsx test harness, coverage, and the terminal progressionUpdate. Use when editing TS generation, the test harness, /api/render/ts…

Idioma del texto original: inglés

specification-master-agent

Master orchestrator for TLA+ formal specification of concurrent/distributed systems. Enforces mandatory deductive axiomatization (𝔸→ℙ→𝐋→𝐓→𝐂), discrete-state TLA+ modeling (Init, named Next actions, □Invariant, fairness), stochastic/asymptotic analysis, and…

Idioma del texto original: inglés

tla-composition

Modular composition of TLA+ specifications using EXTENDS INSTANCE and hiding of internal state. Use when building large specifications from smaller ones composing systems or interfaces or when controlling visibility of variables. Trigger on modular design…

Idioma del texto original: inglés

tla-foundations

Mathematical foundations required for TLA+ specification. Use when the user or the agent needs clear explanations of sets functions predicates first-order logic temporal operators or the elementary mathematics that Specifying Systems assumes. Trigger on…

Idioma del texto original: inglés

tla-from-code-to-spec

Systematic method for extracting faithful TLA+ specifications from real source code in Rust Go Erlang Python or other languages. Use when the user supplies implementation code and wants a matching formal model or when checking conformance between code and an…

Idioma del texto original: inglés

tla-helper-reference-lib

Leslie Lamport’s personal workstation and external reference library for deep TLA+/PlusCal research, assumption challenging, pattern extraction, industrial stress-testing, anti-pattern detection, and expert citation. Invoke whenever the agent requires…

Idioma del texto original: inglés

tla-invariants-properties

Writing inductive invariants safety properties liveness properties and fairness conditions in TLA+. Use when defining what must always be true what must eventually happen or how to strengthen invariants for model checking or proof. Trigger on requests for…

Idioma del texto original: inglés

tla-pluscal-bridge

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…

Idioma del texto original: inglés

tla-refinement

Refinement in TLA+ including refinement mappings successive refinement and proving that one specification implements another. Use when moving from a high-level specification to a lower-level one or when verifying that an implementation satisfies an abstract…

Idioma del texto original: inglés

tla-review-and-toolbox

Critical evaluation judgment and review of TLA+ specifications in the style of Leslie Lamport together with practical mastery of the TLA+ Toolbox. Use when assessing the quality of a specification diagnosing problems choosing what to check next or when…

Idioma del texto original: inglés

tla-state-machines

Core modeling methodology for TLA+ state machines. Use when choosing variables defining Init and Next designing actions structuring the state space or deciding abstraction level for concurrent or distributed systems. Trigger on questions about how to model a…

Idioma del texto original: inglés

tla-syntax

Authoritative reference and generation rules for pure TLA+ surface syntax. Use when writing or correcting TLA+ modules operators expressions modules EXTENDS INSTANCE VARIABLES Init Next Spec priming UNCHANGED fairness or any syntactic construct. Trigger on…

Idioma del texto original: inglés

tla-tooling-and-agents

Tool integration agent loops iterative repair and advanced workflows for TLA+ including SANY TLC TLAPS grammar constraints Specula-style generation and closed-loop specification agents. Use when improving generation quality with feedback when discussing model…

Idioma del texto original: inglés

ponytail

Forces the laziest solution that actually works, simplest, shortest, most minimal. Channels a senior dev who has seen everything: question whether the task needs to exist at all (YAGNI), reach for the standard library before custom code, native platform…

Idioma del texto original: inglés

ui-eval

Product-level UI/UX design, evaluation, and verification, emphasizing security value, economic clarity, and broad user comprehension. Use when evaluating UI quality, designing new surfaces, reviewing UX correctness, fixing broken UI, or verifying that a…

Idioma del texto original: inglés

gpt56-openai-api-agent

Specialist for GPT-5.6 Sol, Terra, and Luna. Use for model selection, pricing, Responses API, reasoning effort, prompt caching, multi-agent tool calling, rate limits, and context-window decisions.

Idioma del texto original: inglés

mermate-opseeq-connect

Use when configuring, troubleshooting, or verifying the connection between Mermate and the Opseeq runtime gateway, including stage event reporting and pipeline orchestration.

Idioma del texto original: inglés

adr-writing

Write Architectural Decision Records following MADR template. Applies Definition of Done criteria, marks gaps for later completion. Use when generating ADR documents from extracted decisions.

Idioma del texto original: inglés

nexus-mapper

Generate a persistent .nexus-map/ knowledge base that lets any AI session instantly understand a codebase's architecture, systems, dependencies, and change hotspots. Use when starting work on an unfamiliar repository, onboarding with AI-assisted context,…

Idioma del texto original: chino