Development · By ArabelaTso

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

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

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

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

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 design quality issues in code including high coupling, low cohesion, God classes, long methods, and other code smells.

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

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

ArabelaTso/Skills-4-SE

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

ArabelaTso/Skills-4-SE

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

ArabelaTso/Skills-4-SE

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

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

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

ArabelaTso/Skills-4-SE

Automatically generates executable test cases from model checking counterexample traces.

ArabelaTso/Skills-4-SE

Automatically performs git bisect to identify the first bad commit that introduced a bug or failure.

ArabelaTso/Skills-4-SE

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

ArabelaTso/Skills-4-SE

Generate boilerplate code and project templates/skeletons automatically.

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

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

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

ArabelaTso/Skills-4-SE

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

ArabelaTso/Skills-4-SE

Generates complete modules and components from interface contracts and specifications.

ArabelaTso/Skills-4-SE

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

ArabelaTso/Skills-4-SE

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

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

Explains runtime errors and compilation failures with actionable debugging guidance.

ArabelaTso/Skills-4-SE

Detect semantic-level bugs by analyzing whether code behavior matches its intended purpose inferred from function/variable names, comments, docstrings, and documentation.

ArabelaTso/Skills-4-SE

Analyze source code statically to detect potential functional bugs including null dereferences, incorrect condition checks, unreachable code, inconsistent state updates, logic errors, resource…

ArabelaTso/Skills-4-SE

Creates visual representations of system structure including architecture diagrams, data flow diagrams, deployment diagrams, and sequence diagrams.

ArabelaTso/Skills-4-SE

Analyze failing tests to detect functional bugs in code. An agent skill from ArabelaTso/Skills-4-SE.

ArabelaTso/Skills-4-SE

Explain why counterexamples violate specifications by analyzing formal specifications (temporal logic, invariants, pre/postconditions, code contracts), informal requirements (user stories…

ArabelaTso/Skills-4-SE

Analyze and explain why Isabelle or Coq proofs fail, identifying the root cause such as type mismatches, missing assumptions, incorrect goals, unification failures, or inapplicable tactics.

ArabelaTso/Skills-4-SE

Generate comprehensive API documentation from repository sources including OpenAPI specs, code comments, docstrings, and existing documentation.

ArabelaTso/Skills-4-SE

Identify the precise location of bugs in source code, modules, and systems.

ArabelaTso/Skills-4-SE

Generate code fixes and patches from bug reports, failing test cases, error messages, and stack traces.

ArabelaTso/Skills-4-SE

Automatically generates change logs from git commits, patches, and pull requests.

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

Conduct comprehensive code reviews identifying bugs, security issues, performance problems, code quality concerns, and best practice violations.

ArabelaTso/Skills-4-SE

Search code repositories for code related to a given code snippet, ranking results by call chain similarity, textual similarity, and functional similarity.

ArabelaTso/Skills-4-SE