ArabelaTso/Skills-4-SE agent skills

Generate prioritized CVE watchlists and actionable security recommendations for repositories.

ArabelaTso/Skills-4-SE

Automatically migrate Python web applications between frameworks (Flask → FastAPI, Django → FastAPI).

ArabelaTso/Skills-4-SE

Generate test cases using metamorphic testing by applying transformations based on metamorphic properties.

ArabelaTso/Skills-4-SE

Instruments programs to capture execution traces specifically for reproducing reported bugs, enabling consistent replay and diagnosis of failures.

ArabelaTso/Skills-4-SE

Automatically migrate Spring MVC applications to Spring Boot.

ArabelaTso/Skills-4-SE

Instrument programs (Python, C/C++, Java) to capture snapshots of key program states at runtime, including variables, memory, and call stacks.

ArabelaTso/Skills-4-SE

Instruments code to track the flow of untrusted or sensitive data at runtime, enabling detection of injection vulnerabilities, data leaks, and privilege violations.

ArabelaTso/Skills-4-SE

Analyzes test suites to identify redundant and duplicate test cases using coverage analysis, semantic similarity, and execution results.

ArabelaTso/Skills-4-SE

Collect, normalize, and structure execution traces from instrumented programs (strace, ltrace) into JSON format for downstream analysis.

ArabelaTso/Skills-4-SE

Compare runtime behavior between original and migrated repositories to detect behavioral differences, regressions, and semantic changes.

ArabelaTso/Skills-4-SE

Instrument code to support efficient git bisect by producing deterministic pass/fail signals and concise runtime summaries for each tested commit.

ArabelaTso/Skills-4-SE

Identify and report code smells indicating poor design or maintainability issues in Python code, including duplicate code, magic numbers, hardcoded values, God classes, feature envy, inappropriate…

ArabelaTso/Skills-4-SE

General-purpose LinkedIn automation – fetch profiles, search people and companies, send messages, manage connections, create posts, and more.

ArabelaTso/Skills-4-SE

Identifies boundaries between modules or components in software systems through static code analysis and dependency detection.

ArabelaTso/Skills-4-SE

Analyzes code to identify security-critical time intervals and timing vulnerabilities in authentication, authorization, and time-sensitive security operations.

ArabelaTso/Skills-4-SE

Identify and analyze unused or redundant code including unused functions/methods, unused variables/imports, unreachable code, and redundant conditions.

ArabelaTso/Skills-4-SE

Identify and replace deprecated API usage in source code with modern alternatives.

ArabelaTso/Skills-4-SE

Identify design quality issues in code including high coupling, low cohesion, God classes, long methods, and other code smells.

ArabelaTso/Skills-4-SE

Generate targeted test inputs to reach specific code paths and hard-to-reach behaviors in Python code.

ArabelaTso/Skills-4-SE

Generate setup scripts and instructions for development environments across platforms.

ArabelaTso/Skills-4-SE

Identifies non-deterministic or unreliable tests through static code analysis and test result analysis.

ArabelaTso/Skills-4-SE

Takes a Python repository and natural language feature description as input, implements the feature with proper code placement, generates comprehensive tests, and ensures all tests pass.

ArabelaTso/Skills-4-SE

Verify that interface and class contracts (preconditions, postconditions, invariants) are preserved across program versions.

ArabelaTso/Skills-4-SE

Analyze differences in program intervals between two versions of a program (old and new) to identify added, removed, or modified intervals.

ArabelaTso/Skills-4-SE

Profile programs at the function/method level to identify performance hotspots, bottlenecks, and optimization opportunities.

ArabelaTso/Skills-4-SE

Reorganizes markdown documents into well-structured, consistent format while preserving content and improving readability.

ArabelaTso/Skills-4-SE

Quickly analyzes Python repositories to understand their purpose, structure, and setup requirements.

ArabelaTso/Skills-4-SE

Updates Python test code to work with new versions of the code being tested.

ArabelaTso/Skills-4-SE

Checks whether a new version of a repository preserves the behavior observed by tests on the old version.

ArabelaTso/Skills-4-SE

Compares old and new requirement documents, analyzes code repository impact, and generates detailed modification plans.

ArabelaTso/Skills-4-SE

Hardware verification tool for checking functional equivalence between two RTL designs (Verilog).

ArabelaTso/Skills-4-SE

Instruments authentication, authorization, and input-handling code paths to monitor security-relevant events and states at runtime.

ArabelaTso/Skills-4-SE

Analyzes a repository and its test suite to generate customized mutation operators tailored to the project.

ArabelaTso/Skills-4-SE

Translate natural-language requirements or structured specification documents into formal temporal logic properties (LTL, CTL, safety/liveness properties).

ArabelaTso/Skills-4-SE

Verify code correctness statically against specifications using type checking, contract verification, and formal methods.

ArabelaTso/Skills-4-SE

Generate comprehensive test case documentation from test code, test framework output, existing test docs, and source code context.

ArabelaTso/Skills-4-SE

Automatically reduces bug-triggering test cases to minimal form while preserving the failure.

ArabelaTso/Skills-4-SE

Removes unnecessary code from a repository while preserving exactly the behavior exercised by a given test suite.

ArabelaTso/Skills-4-SE

Automatically updates a codebase to a new language version, framework version, or library update while ensuring all tests still pass.

ArabelaTso/Skills-4-SE

Scan repositories for newly disclosed CVEs in dependencies after a specific cutoff date.

ArabelaTso/Skills-4-SE

Automatically repair C/C++ code violations detected by TLA+ model checking.

ArabelaTso/Skills-4-SE

Automatically generate TLA+ specifications from source code (C/C++, Python) for formal verification of distributed systems.

ArabelaTso/Skills-4-SE

Identify bug-introducing commits using semantic analysis that extends traditional SZZ algorithm.

ArabelaTso/Skills-4-SE

Automatically extract abstract finite-state models in SMV/NuSMV format from source code (C/C++, Java, Python) for formal model checking.

ArabelaTso/Skills-4-SE

Identifies bug-introducing commits using SZZ-style analysis based on bug-fixing commits, commit history, and code blame information.

ArabelaTso/Skills-4-SE

Analyzes surviving mutants from mutation testing to identify why tests failed to detect them.

ArabelaTso/Skills-4-SE

Automatically repair buggy code and generate comprehensive tests for Python, Java, and C++ programs.

ArabelaTso/Skills-4-SE

Generate configuration files for applications, services, and infrastructure.

ArabelaTso/Skills-4-SE