Skill Explorer
Searching protocol for "formal verification"
dotnet-build
CommunityDeterministic .NET builds with reliable artifacts.
Advanced
byicartsh
kpi-verification-pass-rate
CommunityMaximize first-pass verification success.
Few Config
byAnveio
check-bsv-price
OfficialFetch live BSV price from WhatsOnChain.
No Config
byb-open-io
Hooks Automation
OfficialAutomate Claude Code operations with intelligent hooks.
Advanced
bywedosoft
plugin-development
CommunityBundle Claude tools into a plugin.
Advanced
byandisab
HyperShift Azure Provider
CommunityDeploy HyperShift clusters on Azure with confidence.
Advanced
byopenshift-eng
mcp-brave-search
CommunitySearch the web, find local info, stay current.
No Config
bys-hiraoku
ReasoningBank with AgentDB
CommunityAI learns faster: 150x speed, adaptive intelligence.
Advanced
byjcolano
ReasoningBank Intelligence
CommunityAI learns, adapts, and optimizes strategies.
Advanced
byjcolano
cc-trace
CommunityUnmask Claude Code's API calls, debug with ease.
Advanced
byalexfazio
TCGA bulk data preprocessing with omicverse
CommunityPreprocess TCGA data for survival analysis.
Few Config
byStarlitnightly
OmicVerse visualization for bulk, color systems, and single-cell data
CommunityCreate stunning omics visualizations.
No Config
byStarlitnightly