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.
Evaluate execution with three-stage verification pipeline
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.
desplega-ai
from GitHub
工具与效率
Plan implementation skill. Executes approved technical plans phase by phase with verification checkpoints.
andresharpe
from GitHub
工具与效率
Show a comprehensive project status dashboard: task queue, blocked items, session state, verification, and git status.
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.
- 📁 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.
ThirdKeyAI
from GitHub
开发与编程
- 📁 apps/
- 📁 packages/
- 📄 .gitignore
- 📄 ARCHITECTURE.md
- 📄 CHANGELOG.md
TypeScript SDK for the Symbiont agent runtime — agent lifecycle, webhook verification, AgentPin identity, memory systems, skill scanning, metrics, scheduling, and MCP integration
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.