Agent skills by ArabelaTso, page 2

Validate API consistency between two versions of Java libraries.

ArabelaTso/Skills-4-SE

Translate source code between programming languages at function, class, and module levels while preserving behavior and generating verification tests.

ArabelaTso/Skills-4-SE

Automatically generate TLA+ specifications from program code, repositories, or system implementations.

ArabelaTso/Skills-4-SE

Converts pseudocode descriptions and algorithm specifications into complete, executable Java code.

ArabelaTso/Skills-4-SE

Convert pseudocode, algorithm descriptions, or specifications into complete, executable Python code.

ArabelaTso/Skills-4-SE

Validate API consistency between two versions of Python libraries.

ArabelaTso/Skills-4-SE

Generates comprehensive test scenarios from requirements including BDD/Gherkin scenarios, unit tests, integration tests, and end-to-end test cases.

ArabelaTso/Skills-4-SE

Analyzes and verifies semantic equivalence between two functions, classes, or modules by examining control flow, data flow, and observable behavior.

ArabelaTso/Skills-4-SE

Generate boilerplate code and project templates/skeletons automatically.

ArabelaTso/Skills-4-SE

Uses abstract interpretation to automatically infer loop invariants, function preconditions, and postconditions for formal verification.

ArabelaTso/Skills-4-SE

Create ACSL (ANSI/ISO C Specification Language) formal annotations for C/C++ programs.

ArabelaTso/Skills-4-SE

Automatically migrates build systems and CI/CD configurations to target platforms.

ArabelaTso/Skills-4-SE

Translate C or C++ programs into equivalent Lean4 code, preserving program semantics and ensuring the generated code is well-typed, executable, and can run successfully.

ArabelaTso/Skills-4-SE

Generates clear and structured pull request descriptions from code changes.

ArabelaTso/Skills-4-SE

Generates meaningful comments and documentation for code to improve maintenance and readability.

ArabelaTso/Skills-4-SE

Convert code between programming languages while preserving functionality and semantics.

ArabelaTso/Skills-4-SE

Generate abstract Control Flow Graph (CFG) representations of programs showing loops, branches, and function calls for static analysis or verification.

ArabelaTso/Skills-4-SE

Debug proof failures using counterexamples from Nitpick (Isabelle) or QuickChick (Coq) to identify specification errors, missing preconditions, and proof strategy issues.

ArabelaTso/Skills-4-SE

Translate C/C++ programs to equivalent Dafny code while preserving semantics and ensuring verification.

ArabelaTso/Skills-4-SE

Analyze CVE reachability in software repositories by examining how vulnerable dependencies are imported and used.

ArabelaTso/Skills-4-SE

Recommends appropriate software design patterns based on problem descriptions, requirements, or code scenarios.

ArabelaTso/Skills-4-SE

Automatically identify potential boundary and exception cases from requirements, specifications, or existing code, and generate comprehensive test cases targeting boundary conditions, edge cases…

ArabelaTso/Skills-4-SE

Explains test failures and provides actionable debugging guidance.

ArabelaTso/Skills-4-SE

Analyze detected vulnerabilities to assess realistic exploitability by examining control flow, input sources, sanitization logic, and execution context.

ArabelaTso/Skills-4-SE

Selectively instruments code to capture runtime data for debugging failures and bugs.

ArabelaTso/Skills-4-SE

Generate formal specifications (definitions, predicates, invariants, pre/post-conditions) in Isabelle/HOL or Coq from informal requirements, source code, pseudocode, or mathematical descriptions.

ArabelaTso/Skills-4-SE

Generate randomized and edge-case inputs to detect unexpected failures, bugs, and security vulnerabilities through fuzz testing.

ArabelaTso/Skills-4-SE

Extract abstract mathematical models from imperative code (C, C++, Python, Java, etc.) suitable for formal reasoning in Coq.

ArabelaTso/Skills-4-SE

Generate integration tests for multiple interacting components in Python.

ArabelaTso/Skills-4-SE

Automatically updates regression tests based on interval analysis to maintain coverage of key program intervals.

ArabelaTso/Skills-4-SE

Automatically infer loop invariants for code verification and correctness proofs.

ArabelaTso/Skills-4-SE

Automatically generate clear, actionable issue reports from failing tests and repository analysis.

ArabelaTso/Skills-4-SE

Automatically generate regression tests for Java codebases by analyzing changes between old and new code versions.

ArabelaTso/Skills-4-SE

Recommend relevant Isabelle/HOL or Coq standard library theories, lemmas, and tactics based on proof goals.

ArabelaTso/Skills-4-SE

Generate unit tests with proper mocking for Python (unittest.mock/pytest) or Java (Mockito/JUnit) code.

ArabelaTso/Skills-4-SE

Automatically repair code violations of temporal properties using model-checking counterexamples as guidance.

ArabelaTso/Skills-4-SE

Generates complete modules and components from interface contracts and specifications.

ArabelaTso/Skills-4-SE

Generate Isabelle or Coq proofs establishing partial or total correctness of imperative programs from code and formal specifications.

ArabelaTso/Skills-4-SE

Extract abstract mathematical models from functional code (Haskell, OCaml, F) for formal reasoning in Isabelle/HOL.

ArabelaTso/Skills-4-SE

Generate executable code together with formal proofs certifying safety and correctness properties in Isabelle/HOL or Coq.

ArabelaTso/Skills-4-SE

Restructure and improve Isabelle or Coq proofs to enhance readability, modularity, and maintainability without changing semantics.

ArabelaTso/Skills-4-SE

Automatically generates regression tests for Python codebases by analyzing changes between old and new code versions and their existing tests.

ArabelaTso/Skills-4-SE

Translate Python programs into equivalent Dafny code, preserving program semantics and ensuring the generated code is well-typed, executable, and verifiable.

ArabelaTso/Skills-4-SE

Translate Python programs to equivalent Lean4 code while preserving semantics and ensuring type safety.

ArabelaTso/Skills-4-SE

Generate systematic refinement steps from high-level specifications to concrete implementations in Isabelle/HOL or Coq, preserving correctness obligations at each step.

ArabelaTso/Skills-4-SE

Locate root causes of failing regression tests by analyzing code changes, error messages, and test dependencies.

ArabelaTso/Skills-4-SE

Instruments programs to record execution information for deterministic replay debugging.

ArabelaTso/Skills-4-SE

Iteratively enhance user requirements into clear, complete, actionable specifications through analysis and clarification.

ArabelaTso/Skills-4-SE