Skills

from kong-baiming/cangjie-dev

from cacr92/wereply

from marcioaltoe/claude-craftkit

Performs formal verification of C/C++ software models using bounded model checking to detect potential bugs, race conditions, and safety violations.

from cruellacodes/escrowagent

from paucasanellas/skills

from the-perfect-developer/the-perfect-opencode

from andrewmolyuk/skills-vue-modular

from obieda-hussien/eternal-memory-skill

from technophile-04/ethereum-app-skill

from hairyf/blockchain-skills

from vanman2024/ai-dev-marketplace

from chakshugautam/games

from Prompt-or-Die-Labs/hyper-forge

from melonask/evm-balance-skills

from composiohq/awesome-claude-skills

from xfstudio/skills

from claireaicodes/openclaw-skill-exa-tool

from vuer-ai/vuer

from 10x-Anit/10x-Accountability-Coach

from fabricioveronez/excalidraw-diagram-skill

from family3253/skill

from psylch/excalidraw-export-skill

from tsaol/awesome-claude

from microck/ordinary-claude-skills

from jetsquirrel/oh-my-skills

from majiayu000/claude-skill-registry

from jtsang4/efficient-coding

from julianromli/opencode-template

from buildbusinessdigitalmeg-ux/superpowers