BigHugger
Request accessSign in

Agent skills

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. code-refactoring-assistantArabelaTso/Skills-4-SE
  2. code-repair-generation-comboArabelaTso/Skills-4-SE
  3. code-review-assistantArabelaTso/Skills-4-SE
  4. code-search-assistantArabelaTso/Skills-4-SE
  5. code-smell-detectorArabelaTso/Skills-4-SE
  6. code-summarizerArabelaTso/Skills-4-SE
  7. code-translationArabelaTso/Skills-4-SE
  8. component-boundary-identifierArabelaTso/Skills-4-SE
  9. config-consistency-checkerArabelaTso/Skills-4-SE
  10. configuration-generatorArabelaTso/Skills-4-SE
  11. conflict-analyzerArabelaTso/Skills-4-SE
  12. containerization-assistantArabelaTso/Skills-4-SE
  13. control-flow-abstraction-generatorArabelaTso/Skills-4-SE
  14. counterexample-to-test-generatorArabelaTso/Skills-4-SE
  15. counterexample-explainerArabelaTso/Skills-4-SE
  16. counterexample-debuggerArabelaTso/Skills-4-SE
  17. counterexample-generatorArabelaTso/Skills-4-SE
  18. coverage-enhancerArabelaTso/Skills-4-SE
  19. cpp-to-dafny-translatorArabelaTso/Skills-4-SE
  20. critical-interval-security-checkerArabelaTso/Skills-4-SE
  21. cve-reachability-analyzerArabelaTso/Skills-4-SE
  22. cve-watchlist-action-recommendation-generatorArabelaTso/Skills-4-SE
  23. dead-code-eliminatorArabelaTso/Skills-4-SE
  24. dead-code-removalArabelaTso/Skills-4-SE
  25. dependency-resolverArabelaTso/Skills-4-SE
  26. deprecated-api-updaterArabelaTso/Skills-4-SE
  27. design-pattern-suggestorArabelaTso/Skills-4-SE
  28. design-smell-detectorArabelaTso/Skills-4-SE
  29. directed-test-input-generatorArabelaTso/Skills-4-SE
  30. edge-case-generatorArabelaTso/Skills-4-SE
  31. environment-setup-assistantArabelaTso/Skills-4-SE
  32. error-explanation-generatorArabelaTso/Skills-4-SE
  33. exploitability-analyzerArabelaTso/Skills-4-SE
  34. failure-oriented-instrumentationArabelaTso/Skills-4-SE
  35. flaky-test-detectorArabelaTso/Skills-4-SE
  36. formal-spec-generatorArabelaTso/Skills-4-SE
  37. framework-migration-assistantArabelaTso/Skills-4-SE
  38. frontend-ui-uxArabelaTso/Skills-4-SE
  39. function-class-generatorArabelaTso/Skills-4-SE
  40. fuzzing-input-generatorArabelaTso/Skills-4-SE
  41. git-bisect-assistantArabelaTso/Skills-4-SE
  42. git-masterArabelaTso/Skills-4-SE
  43. github-triageArabelaTso/Skills-4-SE
  44. imperative-to-coq-model-extractorArabelaTso/Skills-4-SE
  45. incremental-java-programmerArabelaTso/Skills-4-SE
  46. incremental-python-programmerArabelaTso/Skills-4-SE
  47. init-deepArabelaTso/Skills-4-SE
  48. integration-test-generatorArabelaTso/Skills-4-SE
  49. interface-contract-verifierArabelaTso/Skills-4-SE
  50. interface-specification-generatorArabelaTso/Skills-4-SE
  51. interval-difference-analyzerArabelaTso/Skills-4-SE
  52. interval-guided-regression-test-updateArabelaTso/Skills-4-SE
  53. interval-profiling-performance-analyzerArabelaTso/Skills-4-SE
  54. invariant-inferenceArabelaTso/Skills-4-SE
  55. issue-report-generatorArabelaTso/Skills-4-SE
  56. java-api-consistency-validatorArabelaTso/Skills-4-SE
  57. java-regression-test-generatorArabelaTso/Skills-4-SE
  58. java-test-updaterArabelaTso/Skills-4-SE
  59. legacy-code-summarizerArabelaTso/Skills-4-SE
  60. lemma-discovery-assistantArabelaTso/Skills-4-SE
  61. library-advisorArabelaTso/Skills-4-SE
  62. linkedinArabelaTso/Skills-4-SE
  63. lsp-refactoringArabelaTso/Skills-4-SE
  64. markdown-document-structurerArabelaTso/Skills-4-SE
  65. metamorphic-property-extractorArabelaTso/Skills-4-SE
  66. metamorphic-test-generatorArabelaTso/Skills-4-SE
  67. mocking-test-generatorArabelaTso/Skills-4-SE
  68. model-guided-code-repairArabelaTso/Skills-4-SE
  69. modular-code-enforcementArabelaTso/Skills-4-SE
  70. module-component-generatorArabelaTso/Skills-4-SE
  71. module-level-code-translatorArabelaTso/Skills-4-SE
  72. multi-version-behavior-comparatorArabelaTso/Skills-4-SE
  73. mutation-test-suite-optimizerArabelaTso/Skills-4-SE
  74. nl-to-constraintsArabelaTso/Skills-4-SE
  75. playwright-automationArabelaTso/Skills-4-SE
  76. program-correctness-proverArabelaTso/Skills-4-SE
  77. program-to-model-extractorArabelaTso/Skills-4-SE
  78. program-to-tlaplus-spec-generatorArabelaTso/Skills-4-SE
  79. proof-carrying-code-generatorArabelaTso/Skills-4-SE
  80. proof-failure-explainerArabelaTso/Skills-4-SE
  81. proof-refactoring-assistantArabelaTso/Skills-4-SE
  82. proof-skeleton-generatorArabelaTso/Skills-4-SE
  83. proof-trace-summarizerArabelaTso/Skills-4-SE
  84. pseudocode-extractorArabelaTso/Skills-4-SE
  85. pseudocode-to-java-codeArabelaTso/Skills-4-SE
  86. pseudocode-to-python-codeArabelaTso/Skills-4-SE
  87. python-api-consistency-validatorArabelaTso/Skills-4-SE
  88. python-regression-test-generatorArabelaTso/Skills-4-SE
  89. python-repo-quickstartArabelaTso/Skills-4-SE
  90. python-test-updaterArabelaTso/Skills-4-SE
  91. python-to-dafny-translatorArabelaTso/Skills-4-SE
  92. python-to-lean4-translatorArabelaTso/Skills-4-SE
  93. readme-generatorArabelaTso/Skills-4-SE
  94. reference-searcherArabelaTso/Skills-4-SE
  95. refinement-step-generatorArabelaTso/Skills-4-SE
  96. regression-consistency-checkerArabelaTso/Skills-4-SE
  97. regression-root-cause-analyzerArabelaTso/Skills-4-SE
  98. release-change-analyzerArabelaTso/Skills-4-SE
  99. release-notes-writerArabelaTso/Skills-4-SE
  100. replay-oriented-instrumentationArabelaTso/Skills-4-SE
  101. reproduction-trace-instrumenterArabelaTso/Skills-4-SE
  102. req-to-testArabelaTso/Skills-4-SE
  103. requirement-comparison-reporterArabelaTso/Skills-4-SE
  104. requirement-coverage-checkerArabelaTso/Skills-4-SE
  105. requirement-enhancerArabelaTso/Skills-4-SE
  106. requirement-summaryArabelaTso/Skills-4-SE
  107. requirement-summarizerArabelaTso/Skills-4-SE
  108. requirement-to-tlaplus-property-generatorArabelaTso/Skills-4-SE
  109. rollback-strategy-advisorArabelaTso/Skills-4-SE
  110. rtl-equivalence-checkerArabelaTso/Skills-4-SE
  111. rtl-property-inferenceArabelaTso/Skills-4-SE
  112. rtl-specification-consistency-checkerArabelaTso/Skills-4-SE
  113. runtime-error-explainerArabelaTso/Skills-4-SE
  114. scenario-generatorArabelaTso/Skills-4-SE
  115. security-patch-advisorArabelaTso/Skills-4-SE
  116. security-sensitive-path-instrumenterArabelaTso/Skills-4-SE
  117. semantic-bug-detectorArabelaTso/Skills-4-SE
  118. semantic-equivalence-verifierArabelaTso/Skills-4-SE
  119. semantic-szz-analyzerArabelaTso/Skills-4-SE
  120. session-handoffArabelaTso/Skills-4-SE
  121. skill-creatorArabelaTso/Skills-4-SE
  122. smart-mutation-operator-generatorArabelaTso/Skills-4-SE
  123. smv-model-extractorArabelaTso/Skills-4-SE
  124. specification-driven-generationArabelaTso/Skills-4-SE
  125. specification-generatorArabelaTso/Skills-4-SE
  126. specification-to-temporal-logic-generatorArabelaTso/Skills-4-SE
  127. spring-mvc-to-boot-migratorArabelaTso/Skills-4-SE
  128. state-snapshot-instrumenterArabelaTso/Skills-4-SE
  129. static-bug-detectorArabelaTso/Skills-4-SE
  130. static-reasoning-verifierArabelaTso/Skills-4-SE
  131. static-vulnerability-detectorArabelaTso/Skills-4-SE
  132. strategic-plannerArabelaTso/Skills-4-SE
  133. symbolic-execution-assistantArabelaTso/Skills-4-SE
  134. system-diagram-generatorArabelaTso/Skills-4-SE
  135. szz-bug-introducing-commit-identifierArabelaTso/Skills-4-SE
  136. tactic-suggestion-assistantArabelaTso/Skills-4-SE
  137. taint-instrumentation-assistantArabelaTso/Skills-4-SE
  138. technical-debt-analyzerArabelaTso/Skills-4-SE
  139. template-code-generatorArabelaTso/Skills-4-SE
  140. test-case-documentationArabelaTso/Skills-4-SE
  141. test-case-reducerArabelaTso/Skills-4-SE
  142. test-deduplicatorArabelaTso/Skills-4-SE
  143. test-driven-generationArabelaTso/Skills-4-SE
  144. test-guided-bug-detectorArabelaTso/Skills-4-SE
  145. test-guided-debloatingArabelaTso/Skills-4-SE
  146. test-guided-migration-assistantArabelaTso/Skills-4-SE
  147. test-oracle-generatorArabelaTso/Skills-4-SE
  148. test-suite-prioritizerArabelaTso/Skills-4-SE
  149. time-aware-dependency-cve-scannerArabelaTso/Skills-4-SE
  150. tlaplus-guided-code-repairArabelaTso/Skills-4-SE
  151. tlaplus-model-reductionArabelaTso/Skills-4-SE
  152. tlaplus-spec-generatorArabelaTso/Skills-4-SE
  153. trace-collection-assistantArabelaTso/Skills-4-SE
  154. traceability-matrix-generatorArabelaTso/Skills-4-SE
  155. unit-test-generatorArabelaTso/Skills-4-SE
  156. verification-boundary-reporterArabelaTso/Skills-4-SE
  157. verified-pseudocode-extractorArabelaTso/Skills-4-SE
  158. verified-spec-code-mapperArabelaTso/Skills-4-SE
  159. vulnerability-pattern-matcherArabelaTso/Skills-4-SE
  160. vulnerability-root-cause-analyzerArabelaTso/Skills-4-SE
  161. nahualiArakiss/nahuali
  162. build-error-adapterArcadeAI/arcade-mcp
  163. adc-analyzerArcadia-1/analog-agents
  164. analog-auditArcadia-1/analog-agents
  165. analog-behavioralArcadia-1/analog-agents
  166. analog-decomposeArcadia-1/analog-agents
  167. analog-designArcadia-1/analog-agents
  168. analog-evolveArcadia-1/analog-agents
  169. analog-exploreArcadia-1/analog-agents
  170. analog-integrateArcadia-1/analog-agents
  171. analog-learnArcadia-1/analog-agents
  172. analog-netlist-crawlArcadia-1/analog-agents
  173. analog-pipelineArcadia-1/analog-agents
  174. analog-reviewArcadia-1/analog-agents
  175. analog-verifyArcadia-1/analog-agents
  176. analog-wikiArcadia-1/analog-agents
  177. virtuoso-librarianArcadia-1/analog-agents
  178. video-prompt-engineerArch-Dog/video-prompt-engineer
  179. agency-rosterArch1eSUN/Arcgentic
  180. arcgenticArch1eSUN/Arcgentic
  181. audit-roundArch1eSUN/Arcgentic
  182. claude-code-session-brokerArch1eSUN/Arcgentic
  183. close-roundArch1eSUN/Arcgentic
  184. codex-thread-orchestrationArch1eSUN/Arcgentic
  185. codify-lessonArch1eSUN/Arcgentic
  186. cross-session-handoffArch1eSUN/Arcgentic
  187. execute-roundArch1eSUN/Arcgentic
  188. orchestrate-roundArch1eSUN/Arcgentic
  189. plan-roundArch1eSUN/Arcgentic
  190. pre-round-scanArch1eSUN/Arcgentic
  191. session-modeArch1eSUN/Arcgentic
  192. source-intakeArch1eSUN/Arcgentic
  193. spec-governanceArch1eSUN/Arcgentic
  194. track-refsArch1eSUN/Arcgentic
  195. using-arcgenticArch1eSUN/Arcgentic
  196. verify-gatesArch1eSUN/Arcgentic
  197. aios-archArchSightLabs/archsight-aios
  198. aios-arch-healthArchSightLabs/archsight-aios
  199. aios-ceoArchSightLabs/archsight-aios
  200. aios-commercial-contractArchSightLabs/archsight-aios

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.