Search verified skills...
⌘+K
All 1078720Coding 523757AI/ML 173285Design 98213DevOps 75353Data 55781Testing 30572Marketing 25646Security 24249Integration 22283Docs 18554Media 12767Productivity 9828Monitoring 5350Infra 1821Analytics 1260general 1
TrendingTrust ScoreStarsNewest
All TiersVerifiedCertified
Extensible 3875173285 skills
siddhartha-gadgil/bounding-extremal
Scanned
siddhartha-gadgil/leanaide
siddhartha-gadgil/leanaide119 stars17 forksTrust: 70Skill v1.0.014d ago
siddhartha-gadgil/cases-exhaustion
Scanned
siddhartha-gadgil/leanaide
siddhartha-gadgil/leanaide119 stars17 forksTrust: 40Skill v1.0.014d ago
siddhartha-gadgil/correctness
Scanned
siddhartha-gadgil/leanaide
siddhartha-gadgil/leanaide119 stars17 forksTrust: 40Skill v1.0.014d ago
siddhartha-gadgil/counting-pigeonhole
Scanned
siddhartha-gadgil/leanaide
siddhartha-gadgil/leanaide119 stars17 forksTrust: 40Skill v1.0.014d ago
siddhartha-gadgil/density-approximation
Scanned
siddhartha-gadgil/leanaide
siddhartha-gadgil/leanaide119 stars17 forksTrust: 40Skill v1.0.014d ago
siddhartha-gadgil/direct-contrapositive-contradiction
Scanned
siddhartha-gadgil/leanaide
siddhartha-gadgil/leanaide119 stars17 forksTrust: 40Skill v1.0.014d ago
siddhartha-gadgil/epsilon-delta
Scanned
siddhartha-gadgil/leanaide
siddhartha-gadgil/leanaide119 stars17 forksTrust: 40Skill v1.0.014d ago
siddhartha-gadgil/existence-uniqueness
Scanned
siddhartha-gadgil/leanaide
siddhartha-gadgil/leanaide119 stars17 forksTrust: 70Skill v1.0.014d ago
siddhartha-gadgil/generic-arguments
Scanned
siddhartha-gadgil/leanaide
siddhartha-gadgil/leanaide119 stars17 forksTrust: 40Skill v1.0.014d ago
siddhartha-gadgil/induction-and-descent
Scanned
siddhartha-gadgil/leanaide
siddhartha-gadgil/leanaide119 stars17 forksTrust: 40Skill v1.0.014d ago
siddhartha-gadgil/invariants
Scanned
siddhartha-gadgil/leanaide
siddhartha-gadgil/leanaide119 stars17 forksTrust: 40Skill v1.0.014d ago
siddhartha-gadgil/universal-property
Scanned
siddhartha-gadgil/leanaide
siddhartha-gadgil/leanaide119 stars17 forksTrust: 40Skill v1.0.014d ago
skyworkai/skywork-ppt
Scanned
skyworkai/skywork-skills
skyworkai/skywork-skills119 stars23 forksTrust: 40Skill v1.0.019d ago
spillwavesolutions/using-agent-brain
Scanned
spillwavesolutions/agent-brain
spillwavesolutions/agent-brain119 stars23 forksTrust: 67Skill v1.0.07d ago
thebushidocollective/sop-maintenanceservicesSemi-Ext
Scanned
thebushidocollective/han
thebushidocollective/han119 stars13 forksTrust: 40Skill v1.0.06mo ago
thebushidocollective/tailwind-componentstools
Scanned
thebushidocollective/han
TheBushidoCollective/han119 stars13 forksTrust: 40Skill v1.0.06mo ago
yila-ai/academic-humanizer
Scanned
yila-ai/awesome-research-skills
yila-ai/awesome-research-skills119 stars11 forksTrust: 40Skill v1.0.014d ago
hoangsonww/last30dayslast30days-codex
Scanned
hoangsonww/ai-news-briefing
hoangsonww/ai-news-briefing43 stars20 forksTrust: 67Skill v1.0.01d ago
sethdford/pain-point-analysis
Scanned
sethdford/claude-skills
sethdford/claude-skills43 stars9 forksTrust: 67Skill v1.0.01d ago
theheavenlyd3mon/implementing-container-network-policies-with-calico
Scanned
theheavenlyd3mon/hermes-profiles
theheavenlyd3mon/hermes-profiles43 stars1 forksTrust: 69Skill v1.0.0today
PrevPage 1227 of 8665Next