ArabelaTso

ArabelaTso

187 skills · 1 repo · 77

GitHub ↗

# Skill Source Description
1 abstract-domain-explorer arabelatso/skills-4-se 77 77
2 abstract-invariant-generator arabelatso/skills-4-se 77 77
3 abstract-state-analyzer arabelatso/skills-4-se 77 77
4 abstract-trace-summarizer arabelatso/skills-4-se 77 77
5 acsl-annotation-assistant arabelatso/skills-4-se 77 77
6 agent-browser arabelatso/skills-4-se 77 77
7 ambiguity-detector arabelatso/skills-4-se 77 77
8 api-design-assistant arabelatso/skills-4-se 77 77
9 api-documentation-generator arabelatso/skills-4-se 77 77
10 assertion-synthesizer arabelatso/skills-4-se 77 77
11 behavior-preservation-checker arabelatso/skills-4-se 77 77
12 behavioral-mutation-analyzer arabelatso/skills-4-se 77 77
13 bisect-aware-instrumentation arabelatso/skills-4-se 77 77
14 bug-history-summarizer arabelatso/skills-4-se 77 77
15 bug-localization arabelatso/skills-4-se 77 77
16 bug-reproduction-test-generator arabelatso/skills-4-se 77 77
17 bug-to-patch-generator arabelatso/skills-4-se 77 77
18 build-ci-migration-assistant arabelatso/skills-4-se 77 77
19 c-cpp-to-lean4-translator arabelatso/skills-4-se 77 77
20 cd-pipeline-generator arabelatso/skills-4-se 77 77
21 change-log-generator arabelatso/skills-4-se 77 77
22 ci-pipeline-synthesizer arabelatso/skills-4-se 77 77
23 code-change-summarizer arabelatso/skills-4-se 77 77
24 code-comment-generator arabelatso/skills-4-se 77 77
25 code-completion-semantic-constraints arabelatso/skills-4-se 77 77
26 code-instrumentation-generator arabelatso/skills-4-se 77 77
27 code-optimizer arabelatso/skills-4-se 77 77
28 code-pattern-extractor arabelatso/skills-4-se 77 77
29 code-refactoring-assistant arabelatso/skills-4-se 77 77
30 code-repair-generation-combo arabelatso/skills-4-se 77 77
31 code-review-assistant arabelatso/skills-4-se 77 77
32 code-search-assistant arabelatso/skills-4-se 77 77
33 code-smell-detector arabelatso/skills-4-se 77 77
34 code-summarizer arabelatso/skills-4-se 77 77
35 code-translation arabelatso/skills-4-se 77 77
36 component-boundary-identifier arabelatso/skills-4-se 77 77
37 config-consistency-checker arabelatso/skills-4-se 77 77
38 configuration-generator arabelatso/skills-4-se 77 77
39 conflict-analyzer arabelatso/skills-4-se 77 77
40 containerization-assistant arabelatso/skills-4-se 77 77
41 control-flow-abstraction-generator arabelatso/skills-4-se 77 77
42 counterexample-debugger arabelatso/skills-4-se 77 77
43 counterexample-explainer arabelatso/skills-4-se 77 77
44 counterexample-generator arabelatso/skills-4-se 77 77
45 counterexample-to-test-generator arabelatso/skills-4-se 77 77
46 coverage-enhancer arabelatso/skills-4-se 77 77
47 cpp-to-dafny-translator arabelatso/skills-4-se 77 77
48 critical-interval-security-checker arabelatso/skills-4-se 77 77
49 cve-reachability-analyzer arabelatso/skills-4-se 77 77
50 cve-watchlist-action-recommendation-generator arabelatso/skills-4-se 77 77