Home Pricing How it works Skills

GitHub repository

arabelatso/skills-4-se

View repository

Skills

25

Installs

107

Stars

240

License

—

Skills in this repository

01

code-comment-generator

arabelatso/skills-4-se

7

02

behavior-preservation-checker

arabelatso/skills-4-se

6

03

dead-code-removal

arabelatso/skills-4-se

6

04

git-bisect-assistant

arabelatso/skills-4-se

5

05

reproduction-trace-instrumenter

arabelatso/skills-4-se

5

06

semantic-szz-analyzer

arabelatso/skills-4-se

5

07

time-aware-dependency-cve-scanner

arabelatso/skills-4-se

5

08

c-cpp-to-lean4-translator

arabelatso/skills-4-se

4

09

conflict-analyzer

arabelatso/skills-4-se

4

10

counterexample-explainer

arabelatso/skills-4-se

4

11

dead-code-eliminator

arabelatso/skills-4-se

4

12

design-smell-detector

arabelatso/skills-4-se

4

13

fuzzing-input-generator

arabelatso/skills-4-se

4

14

issue-report-generator

arabelatso/skills-4-se

4

15

mocking-test-generator

arabelatso/skills-4-se

4

16

pseudocode-extractor

arabelatso/skills-4-se

4

17

python-test-updater

arabelatso/skills-4-se

4

18

req-to-test

arabelatso/skills-4-se

4

19

requirement-comparison-reporter

arabelatso/skills-4-se

4

20

requirement-enhancer

arabelatso/skills-4-se

4

21

requirement-to-tlaplus-property-generator

arabelatso/skills-4-se

4

22

code-pattern-extractor

arabelatso/skills-4-se

3

23

interface-contract-verifier

arabelatso/skills-4-se

3

24

library-advisor

arabelatso/skills-4-se

3

25

module-level-code-translator

arabelatso/skills-4-se

3