Python · By ArabelaTso

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

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

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

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

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

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

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

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

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

ArabelaTso/Skills-4-SE

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

ArabelaTso/Skills-4-SE

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

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

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

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

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

ArabelaTso/Skills-4-SE

Generate Dockerfiles, Docker Compose configurations, and Kubernetes manifests for containerizing applications.

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

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 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

Explains test failures and provides actionable debugging guidance.

ArabelaTso/Skills-4-SE

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

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 infer loop invariants for code verification and correctness proofs.

ArabelaTso/Skills-4-SE

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

ArabelaTso/Skills-4-SE

Generates complete modules and components from interface contracts and specifications.

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

Instruments programs to record execution information for deterministic replay debugging.

ArabelaTso/Skills-4-SE

Explains runtime errors and compilation failures with actionable debugging guidance.

ArabelaTso/Skills-4-SE

Performs symbolic execution to detect potential errors by exploring execution paths, solving path constraints, and generating test inputs.

ArabelaTso/Skills-4-SE

Generates automated test oracles to verify correct software behavior.

ArabelaTso/Skills-4-SE

Automatically generates comprehensive unit tests for functions, classes, and modules.

ArabelaTso/Skills-4-SE

Generate test assertions from existing code implementation. An agent skill from ArabelaTso/Skills-4-SE.

ArabelaTso/Skills-4-SE

Automatically instruments source code to collect runtime information such as function calls, branch decisions, variable values, and execution traces while preserving original program semantics.

ArabelaTso/Skills-4-SE

Analyzes and optimizes code for better performance, memory usage, and efficiency.

ArabelaTso/Skills-4-SE

Generate implementation code that passes existing unit tests.

ArabelaTso/Skills-4-SE