BigHugger
Request accessSign in

Agent skills in claude-code format

A skill is a Markdown file that tells a coding agent how to do one job. We parse every one we can find — the frontmatter, the outline, the languages in its code blocks — so you can look for the one that fits instead of reading through a repository to find out.

69,865 skills from 9,574 repositories, last read 11 September 2026.

Format
anyclaude-codepluginother
Runs
anybashpythontypescriptjavascriptjsonyamlmarkdownsqlpowershell
Asks for
anyBashReadWriteEditGrepGlobWebFetchTask

Skills declare what they need inconsistently: 58.8% name the languages they run, 11.2% list the tools they ask for, and 4.6% give themselves a category. Filtering narrows to the ones that said so, never to the ones that are.

  1. nl-to-constraintsArabelaTso/Skills-4-SE
  2. playwright-automationArabelaTso/Skills-4-SE
  3. program-correctness-proverArabelaTso/Skills-4-SE
  4. program-to-model-extractorArabelaTso/Skills-4-SE
  5. program-to-tlaplus-spec-generatorArabelaTso/Skills-4-SE
  6. proof-carrying-code-generatorArabelaTso/Skills-4-SE
  7. proof-failure-explainerArabelaTso/Skills-4-SE
  8. proof-refactoring-assistantArabelaTso/Skills-4-SE
  9. proof-skeleton-generatorArabelaTso/Skills-4-SE
  10. proof-trace-summarizerArabelaTso/Skills-4-SE
  11. pseudocode-extractorArabelaTso/Skills-4-SE
  12. pseudocode-to-java-codeArabelaTso/Skills-4-SE
  13. pseudocode-to-python-codeArabelaTso/Skills-4-SE
  14. python-api-consistency-validatorArabelaTso/Skills-4-SE
  15. python-regression-test-generatorArabelaTso/Skills-4-SE
  16. python-repo-quickstartArabelaTso/Skills-4-SE
  17. python-test-updaterArabelaTso/Skills-4-SE
  18. python-to-dafny-translatorArabelaTso/Skills-4-SE
  19. python-to-lean4-translatorArabelaTso/Skills-4-SE
  20. readme-generatorArabelaTso/Skills-4-SE
  21. reference-searcherArabelaTso/Skills-4-SE
  22. refinement-step-generatorArabelaTso/Skills-4-SE
  23. regression-consistency-checkerArabelaTso/Skills-4-SE
  24. regression-root-cause-analyzerArabelaTso/Skills-4-SE
  25. release-change-analyzerArabelaTso/Skills-4-SE
  26. release-notes-writerArabelaTso/Skills-4-SE
  27. replay-oriented-instrumentationArabelaTso/Skills-4-SE
  28. reproduction-trace-instrumenterArabelaTso/Skills-4-SE
  29. req-to-testArabelaTso/Skills-4-SE
  30. requirement-comparison-reporterArabelaTso/Skills-4-SE
  31. requirement-coverage-checkerArabelaTso/Skills-4-SE
  32. requirement-enhancerArabelaTso/Skills-4-SE
  33. requirement-summaryArabelaTso/Skills-4-SE
  34. requirement-summarizerArabelaTso/Skills-4-SE
  35. requirement-to-tlaplus-property-generatorArabelaTso/Skills-4-SE
  36. rollback-strategy-advisorArabelaTso/Skills-4-SE
  37. rtl-equivalence-checkerArabelaTso/Skills-4-SE
  38. rtl-property-inferenceArabelaTso/Skills-4-SE
  39. rtl-specification-consistency-checkerArabelaTso/Skills-4-SE
  40. runtime-error-explainerArabelaTso/Skills-4-SE
  41. scenario-generatorArabelaTso/Skills-4-SE
  42. security-patch-advisorArabelaTso/Skills-4-SE
  43. security-sensitive-path-instrumenterArabelaTso/Skills-4-SE
  44. semantic-bug-detectorArabelaTso/Skills-4-SE
  45. semantic-equivalence-verifierArabelaTso/Skills-4-SE
  46. semantic-szz-analyzerArabelaTso/Skills-4-SE
  47. session-handoffArabelaTso/Skills-4-SE
  48. skill-creatorArabelaTso/Skills-4-SE
  49. smart-mutation-operator-generatorArabelaTso/Skills-4-SE
  50. smv-model-extractorArabelaTso/Skills-4-SE
  51. specification-driven-generationArabelaTso/Skills-4-SE
  52. specification-generatorArabelaTso/Skills-4-SE
  53. specification-to-temporal-logic-generatorArabelaTso/Skills-4-SE
  54. spring-mvc-to-boot-migratorArabelaTso/Skills-4-SE
  55. state-snapshot-instrumenterArabelaTso/Skills-4-SE
  56. static-bug-detectorArabelaTso/Skills-4-SE
  57. static-reasoning-verifierArabelaTso/Skills-4-SE
  58. static-vulnerability-detectorArabelaTso/Skills-4-SE
  59. strategic-plannerArabelaTso/Skills-4-SE
  60. symbolic-execution-assistantArabelaTso/Skills-4-SE
  61. system-diagram-generatorArabelaTso/Skills-4-SE
  62. szz-bug-introducing-commit-identifierArabelaTso/Skills-4-SE
  63. tactic-suggestion-assistantArabelaTso/Skills-4-SE
  64. taint-instrumentation-assistantArabelaTso/Skills-4-SE
  65. technical-debt-analyzerArabelaTso/Skills-4-SE
  66. template-code-generatorArabelaTso/Skills-4-SE
  67. test-case-documentationArabelaTso/Skills-4-SE
  68. test-case-reducerArabelaTso/Skills-4-SE
  69. test-deduplicatorArabelaTso/Skills-4-SE
  70. test-driven-generationArabelaTso/Skills-4-SE
  71. test-guided-bug-detectorArabelaTso/Skills-4-SE
  72. test-guided-debloatingArabelaTso/Skills-4-SE
  73. test-guided-migration-assistantArabelaTso/Skills-4-SE
  74. test-oracle-generatorArabelaTso/Skills-4-SE
  75. test-suite-prioritizerArabelaTso/Skills-4-SE
  76. time-aware-dependency-cve-scannerArabelaTso/Skills-4-SE
  77. tlaplus-guided-code-repairArabelaTso/Skills-4-SE
  78. tlaplus-model-reductionArabelaTso/Skills-4-SE
  79. tlaplus-spec-generatorArabelaTso/Skills-4-SE
  80. trace-collection-assistantArabelaTso/Skills-4-SE
  81. traceability-matrix-generatorArabelaTso/Skills-4-SE
  82. unit-test-generatorArabelaTso/Skills-4-SE
  83. verification-boundary-reporterArabelaTso/Skills-4-SE
  84. verified-pseudocode-extractorArabelaTso/Skills-4-SE
  85. verified-spec-code-mapperArabelaTso/Skills-4-SE
  86. vulnerability-pattern-matcherArabelaTso/Skills-4-SE
  87. vulnerability-root-cause-analyzerArabelaTso/Skills-4-SE
  88. build-error-adapterArcadeAI/arcade-mcp
  89. areev-add-operationAreevAI/areev
  90. areev-agent-workflowsAreevAI/areev
  91. areev-bindingsAreevAI/areev
  92. areev-cal-featureAreevAI/areev
  93. areev-examplesAreevAI/areev
  94. areev-grain-typeAreevAI/areev
  95. areev-invariantsAreevAI/areev
  96. areev-loop-engineAreevAI/areev
  97. areev-releaseAreevAI/areev
  98. areev-server-consoleAreevAI/areev
  99. areev-testingAreevAI/areev
  100. ari-agent-coordinationAri-OS/ARI
  101. ari-anthropic-monitorAri-OS/ARI
  102. ari-backup-recoveryAri-OS/ARI
  103. ari-cli-developmentAri-OS/ARI
  104. ari-cognitive-layerAri-OS/ARI
  105. ari-continuous-improvementAri-OS/ARI
  106. ari-council-governanceAri-OS/ARI
  107. ari-cowork-pluginAri-OS/ARI
  108. ari-daemon-opsAri-OS/ARI
  109. ari-discord-command-patternsAri-OS/ARI
  110. ari-error-recoveryAri-OS/ARI
  111. ari-eventbus-patternsAri-OS/ARI
  112. ari-fastify-gatewayAri-OS/ARI
  113. ari-gap-analyzerAri-OS/ARI
  114. ari-hash-chain-auditorAri-OS/ARI
  115. ari-injection-detectionAri-OS/ARI
  116. ari-knowledge-synthesizerAri-OS/ARI
  117. ari-layer-guardianAri-OS/ARI
  118. ari-learning-loopAri-OS/ARI
  119. ari-learning-modeAri-OS/ARI
  120. ari-memory-managementAri-OS/ARI
  121. ari-model-selectionAri-OS/ARI
  122. ari-monitoring-alertingAri-OS/ARI
  123. ari-natural-languageAri-OS/ARI
  124. ari-obsidian-patternsAri-OS/ARI
  125. ari-openclaw-plugin-developmentAri-OS/ARI
  126. ari-parallel-workflowsAri-OS/ARI
  127. ari-performance-optimizationAri-OS/ARI
  128. ari-philosophyAri-OS/ARI
  129. ari-pino-loggingAri-OS/ARI
  130. ari-pokemon-p1-pipelineAri-OS/ARI
  131. ari-practiceAri-OS/ARI
  132. ari-pryceless-p2-pipelineAri-OS/ARI
  133. ari-release-managementAri-OS/ARI
  134. ari-reviewAri-OS/ARI
  135. ari-security-hygieneAri-OS/ARI
  136. ari-self-improvementAri-OS/ARI
  137. ari-session-memoryAri-OS/ARI
  138. ari-skill-generatorAri-OS/ARI
  139. ari-teach-modeAri-OS/ARI
  140. ari-testing-strategiesAri-OS/ARI
  141. ari-thumbnail-generationAri-OS/ARI
  142. ari-time-researchAri-OS/ARI
  143. ari-tool-creationAri-OS/ARI
  144. ari-trust-levelsAri-OS/ARI
  145. ari-vitest-guardianAri-OS/ARI
  146. ari-websocket-patternsAri-OS/ARI
  147. ari-zod-schemasAri-OS/ARI
  148. platform-android-designAri-OS/ARI
  149. platform-designAri-OS/ARI
  150. platform-ios-designAri-OS/ARI
  151. platform-web-designAri-OS/ARI
  152. skillsAriestar/sivtr
  153. genai-conformanceArize-ai/openinference
  154. python-canary-fixArize-ai/openinference
  155. erf-expertArman-Kudaibergenov/1c-ai-development-kit
  156. session-retroArman-Kudaibergenov/1c-ai-development-kit
  157. db-updateArman-Kudaibergenov/1c-ai-development-kit
  158. help-addArman-Kudaibergenov/1c-ai-development-kit
  159. web-stopArman-Kudaibergenov/1c-ai-development-kit
  160. form-addArman-Kudaibergenov/1c-ai-development-kit
  161. openspec-archiveArman-Kudaibergenov/1c-ai-development-kit
  162. cfe-initArman-Kudaibergenov/1c-ai-development-kit
  163. db-load-cfArman-Kudaibergenov/1c-ai-development-kit
  164. role-expertArman-Kudaibergenov/1c-ai-development-kit
  165. form-compileArman-Kudaibergenov/1c-ai-development-kit
  166. form-removeArman-Kudaibergenov/1c-ai-development-kit
  167. 1c-query-optArman-Kudaibergenov/1c-ai-development-kit
  168. web-unpublishArman-Kudaibergenov/1c-ai-development-kit
  169. 1c-test-runnerArman-Kudaibergenov/1c-ai-development-kit
  170. 1c-web-sessionArman-Kudaibergenov/1c-ai-development-kit
  171. img-gridArman-Kudaibergenov/1c-ai-development-kit
  172. meta-compileArman-Kudaibergenov/1c-ai-development-kit
  173. 1c-help-mcpArman-Kudaibergenov/1c-ai-development-kit
  174. web-publishArman-Kudaibergenov/1c-ai-development-kit
  175. db-load-gitArman-Kudaibergenov/1c-ai-development-kit
  176. web-testArman-Kudaibergenov/1c-ai-development-kit
  177. form-editArman-Kudaibergenov/1c-ai-development-kit
  178. db-runArman-Kudaibergenov/1c-ai-development-kit
  179. 1c-project-initArman-Kudaibergenov/1c-ai-development-kit
  180. cf-initArman-Kudaibergenov/1c-ai-development-kit
  181. openspec-applyArman-Kudaibergenov/1c-ai-development-kit
  182. skd-editArman-Kudaibergenov/1c-ai-development-kit
  183. subsystem-expertArman-Kudaibergenov/1c-ai-development-kit
  184. session-saveArman-Kudaibergenov/1c-ai-development-kit
  185. brainstormArman-Kudaibergenov/1c-ai-development-kit
  186. playwright-testArman-Kudaibergenov/1c-ai-development-kit
  187. validateArman-Kudaibergenov/1c-ai-development-kit
  188. mxl-expertArman-Kudaibergenov/1c-ai-development-kit
  189. db-createArman-Kudaibergenov/1c-ai-development-kit
  190. skd-compileArman-Kudaibergenov/1c-ai-development-kit
  191. epf-expertArman-Kudaibergenov/1c-ai-development-kit
  192. db-dump-xmlArman-Kudaibergenov/1c-ai-development-kit
  193. bsp-patternsArman-Kudaibergenov/1c-ai-development-kit
  194. cfe-patch-methodArman-Kudaibergenov/1c-ai-development-kit
  195. cf-editArman-Kudaibergenov/1c-ai-development-kit
  196. web-infoArman-Kudaibergenov/1c-ai-development-kit
  197. subagent-devArman-Kudaibergenov/1c-ai-development-kit
  198. cfe-diffArman-Kudaibergenov/1c-ai-development-kit
  199. meta-removeArman-Kudaibergenov/1c-ai-development-kit
  200. openspec-proposalArman-Kudaibergenov/1c-ai-development-kit

Back to the index

The whole corpus is one call away through the search API, or ask a question of it on the index itself.