직업 분류
소프트웨어 개발자
설명
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개를 표시합니다.