Agent Skills by ArabelaTso
Showing 187 vetted skills indexed across 1 GitHub repositories.
ArabelaTsopython-to-dafny-translator
Translate Python programs into Dafny code with formal specifications.
ArabelaTsotechnical-debt-analyzer
Analyze codebases to detect, categorize, and prioritize technical debt.
ArabelaTsorequirement-to-tlaplus-property-generator
Generate TLA+ invariants, safety, and liveness properties from system requirements.
ArabelaTsolsp-refactoring
Refactor code across multiple languages using LSP features and TDD verification.
ArabelaTsodesign-pattern-suggestor
Analyze problem descriptions to recommend software design patterns with code examples.
ArabelaTsobug-localization
Analyze stack traces and error messages to rank suspect bug locations.
ArabelaTsomutation-test-suite-optimizer
Optimize test suites by maximizing mutation kill rates.
ArabelaTsoagent-browser
Automate browser navigation, element interaction, and data extraction via CLI.
ArabelaTsoframework-migration-assistant
Migrate Flask or Django web applications to FastAPI with automated code transformation.
ArabelaTsomocking-test-generator
Generate unit tests with mocks for Python and Java code.
ArabelaTsospecification-driven-generation
Generate implementation code and validation tests from written specifications.
ArabelaTsolemma-discovery-assistant
Analyze failed Isabelle/HOL and Coq proofs to propose auxiliary lemmas.
ArabelaTsopython-to-lean4-translator
Translates Python programs into executable, well-typed Lean4 code.
ArabelaTsobehavioral-mutation-analyzer
Analyze surviving mutants from mutation testing reports to classify weaknesses and generate test improvements.
ArabelaTsojava-test-updater
Update Java test classes to match changed production code signatures.
ArabelaTsoacsl-annotation-assistant
Generate ACSL formal annotations for C/C++ programs.
ArabelaTsotest-guided-debloating
Remove unused code from Python, JavaScript, and Java repositories using test coverage data.
ArabelaTsoconfig-consistency-checker
Analyze configuration files across environments to detect inconsistencies and security issues.
ArabelaTsoreq-to-test
Generates BDD/Gherkin, unit, integration, and end-to-end tests from software requirements.
ArabelaTsoc-cpp-to-lean4-translator
Translates C and C++ programs into equivalent, well-typed, executable Lean4 code preserving semantics.
ArabelaTsovulnerability-root-cause-analyzer
Analyze vulnerable code to identify root causes like violated assumptions and missing validation checks.
ArabelaTsocoverage-enhancer
Analyze test suites and source code to suggest unit tests for uncovered branches.
ArabelaTsortl-equivalence-checker
Compare two Verilog RTL designs for functional equivalence and generate counterexamples.
ArabelaTsosmart-mutation-operator-generator
Analyze Python codebases to generate prioritized mutation operators for testing.