brainstorming
brainstorming
You MUST use this before any creative work - creating features, building components, adding functionality, modifying behavior, or planning anything new, in software or out of it (a talk, a business, a renovation).
Explorar Skills
Desarrollo · SKILL.md
distributed-systems
distributed-systemsAI-assisted distributed systems verification with TLA+ formal specification. Use when verifying distributed system correctness, discovering race conditions, writing TLA+ specifications from codebases, performing model checking on consensus/replication protocols, or setting up Lamport Agent workflows. Triggers on: "verify distributed system", "formal verific…
Independent GitHub snapshot · Automated classification · Original documentation governs
Documentación de la Skill
GitHubCargando documentación desde el origen…