SKILL.md packages that extend Claude Code, Cursor, Copilot, and other AI agents.
Tags

ethskills
Practical guide and patterns for smart contract tests using Foundry: unit tests, fuzzing, fork tests, and invariants to catch economic and integration bugs.

aura-frog
Validates hierarchical plan trees against 8 invariants (parent/child integrity, no orphans, valid status, monotonic revisions, DAG acyclicity, etc.) and refuses

correctless
Turn a feature idea into a structured, testable specification with configurable intensity, research, and STRIDE-backed invariants.