spacedriveapp
from GitHub
生活与日常
This skill should be used when the user asks to change "worker lifecycle", "cancellation", "retrigger behavior", "state machine", "delivery receipts", "timeouts", or "race conditions". Enforces explicit async/state invariants and targeted race-safe verification.
ljxpython
from GitHub
工具与效率
Use this skill for engineering tasks that require planning with write_todos, controlled file edits, and final verification.
asymptotic-code
from GitHub
开发与编程
- 📄 SKILL.md
- 📄 spec-reference.md
Help with the Sui Prover for formal verification of Move smart contracts. Use when the user wants to verify Move code, debug verification failures, write specifications, or understand prover options.
supercent-io
from GitHub
工具与效率
- 📁 references/
- 📁 templates/
- 📄 SKILL.md
- 📄 SKILL.toon
Browser automation CLI for AI agents. Use for website interaction, form automation, screenshots, scraping, and web app verification. Prefer snapshot refs (@e1, @e2) for deterministic actions.
coalesce-labs
from GitHub
工具与效率
Fast browser automation CLI for AI agents. **ALWAYS use instead of Playwright MCP tools** for web testing, screenshots, form filling, and UI verification. Use when user says "open in browser", "check the site", "take a screenshot", "fill the form", "test the UI", or any browser interaction. Also use as a fallback when a task requires visual browser interaction that CLIs and APIs cannot handle (e.g., OAuth flows, complex dashboards, visual verification).
ThirdKeyAI
from GitHub
工具与效率
- 📁 .github/
- 📁 docs/
- 📁 go/
- 📄 .gitignore
- 📄 .npmrc.template
- 📄 .pypirc.template
Cryptographic tool schema verification to prevent MCP Rug Pull attacks — ECDSA P-256 signing, SHA-256 hashing, TOFU key pinning, and .well-known discovery
lightseekorg
from GitHub
工具与效率
Use when preparing to commit, open a PR, or check quality gates in the SMG repository — enforces verification before shipping
workersio
from GitHub
开发与编程
Verify, check, transform, and repair Lean 4 proofs using the Axiom (Axle) CLI and API. Supports proof verification, syntax checking, theorem extraction, code transformation (rename, merge, simplify), proof repair, and disproving. Use this skill whenever the user works with Lean 4 code, formal mathematics, Mathlib theorems, or mentions axiom, axle, lean verify, proof verification, formal proof, or theorem checking -- even if they don't explicitly say "axiom" but are clearly working with Lean proofs that need machine verification.
JEO-tech-ai
from GitHub
工具与效率
- 📁 references/
- 📁 templates/
- 📄 .DS_Store
- 📄 SKILL.md
- 📄 SKILL.toon
Browser automation CLI for AI agents. Use for website interaction, form automation, screenshots, scraping, and web app verification. Prefer snapshot refs (@e1, @e2) for deterministic actions.
andresharpe
from GitHub
工具与效率
Show a comprehensive project status dashboard: task queue, blocked items, session state, verification, and git status.
- 📁 prompts/
- 📁 references/
- 📄 dv.flow.schema.json
- 📄 skill.md
Create and modify DV Flow Manager (dfm) YAML-based build flows for silicon design and verification projects. Use when working with flow.yaml, flow.dv files, or dfm commands.
akillness
from GitHub
工具与效率
- 📁 references/
- 📁 templates/
- 📄 SKILL.md
- 📄 SKILL.toon
Browser automation CLI for AI agents. Use for website interaction, form automation, screenshots, scraping, and web app verification. Prefer snapshot refs (@e1, @e2) for deterministic actions.