職業分類
ソフトウェア開発者
説明
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.
原文の言語: 英語
更新
DylanCkawalec/Mermate
SkillsMP は DylanCkawalec/Mermate から 26 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
- 記録された最新のソース活動
- SkillsMP カタログ更新
- 収集済み skills
- 26
- GitHub スター
- 3
- GitHub フォーク
- 2
このリポジトリの skills
3 件の職業カテゴリ · 100% 分類済み
収集済み skill 26 件中 26 件を表示しています。
skill
職業分類
説明
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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,…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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,…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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,…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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…
原文の言語: 英語
更新
職業分類
ウェブ・デジタルインターフェースデザイナー
説明
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…
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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.
原文の言語: 英語
更新
職業分類
ネットワーク・コンピュータシステム管理者
説明
Use when configuring, troubleshooting, or verifying the connection between Mermate and the Opseeq runtime gateway, including stage event reporting and pipeline orchestration.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
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,…
原文の言語: 中国語
更新
収集済み skill 26 件中 26 件を表示しています。