Agent skills by ArabelaTso, page 3

Automatically derives TLA+ properties (invariants, safety, liveness) from natural-language requirements or structured requirement documents.

ArabelaTso/Skills-4-SE

Suggests rollback strategies for failed deployments across different platforms and failure types.

ArabelaTso/Skills-4-SE

Automatically infer formal correctness properties from Verilog/SystemVerilog RTL code and generate SystemVerilog Assertions (SVA).

ArabelaTso/Skills-4-SE

Check behavioral consistency between high-level hardware specifications and RTL implementations.

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

Statically analyze code to detect security vulnerabilities including buffer overflows, injection risks (SQL, command, XSS), insecure deserialization, improper authentication, hard-coded credentials…

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

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

ArabelaTso/Skills-4-SE

Analyze proof states in Isabelle or Coq and suggest applicable tactics to make progress.

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

Generates automated test oracles to verify correct software behavior.

ArabelaTso/Skills-4-SE

Analyzes test suites and suggests optimal test execution order based on code change impact and project requirements.

ArabelaTso/Skills-4-SE

Automatically simplify and minimize TLA+ specifications by reducing redundant state variables, merging equivalent actions, and minimizing invariants while preserving specified properties.

ArabelaTso/Skills-4-SE

Builds traceability matrices connecting requirements to design documents to source code implementation, tracking the complete development lifecycle.

ArabelaTso/Skills-4-SE

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

ArabelaTso/Skills-4-SE

Analyze formal verification artifacts (Isabelle, Coq, Dafny, etc.) and produce structured reports identifying the precise boundary between verified, assumed, and unverified components.

ArabelaTso/Skills-4-SE

Extract language-agnostic pseudocode from formally verified programs (Isabelle/HOL, Coq) while preserving verified control flow, data dependencies, and algorithmic logic.

ArabelaTso/Skills-4-SE

Establish explicit traceability between formal specifications (preconditions, postconditions, invariants) and verified code components with their correctness proofs.

ArabelaTso/Skills-4-SE

Detects security vulnerabilities by matching code against known vulnerability patterns, insecure coding idioms, and CVE-style patterns.

ArabelaTso/Skills-4-SE

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

ArabelaTso/Skills-4-SE

Generate GitHub Actions deployment workflows for automated deployment to staging and production environments on cloud platforms (AWS, GCP, Azure).

ArabelaTso/Skills-4-SE

CLI-based browser automation with persistent page state using ref-based element interaction.

ArabelaTso/Skills-4-SE

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

ArabelaTso/Skills-4-SE

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

ArabelaTso/Skills-4-SE

Automatically generates executable tests that reproduce reported bugs from issue reports and code repositories.

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 complete partial code snippets while satisfying semantic constraints including variable types, invariants, pre/post-conditions, interface contracts, and expected input/output behavior.

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

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

Automatically analyzes configuration files to detect inconsistencies, conflicts, missing keys, and divergent values across environments, versions, or modules.

ArabelaTso/Skills-4-SE

Generate concrete counterexamples when formal verification, assertions, or specifications fail.

ArabelaTso/Skills-4-SE

Analyze existing test suites and source code to suggest additional unit tests that improve test coverage.

ArabelaTso/Skills-4-SE

Identify, analyze, and manage software dependencies before deployment.

ArabelaTso/Skills-4-SE

Designer-turned-developer who crafts stunning UI/UX even without design mockups.

ArabelaTso/Skills-4-SE

Unified GitHub triage for issues AND PRs. An agent skill from ArabelaTso/Skills-4-SE.

ArabelaTso/Skills-4-SE

Incrementally implement new features in Java repositories from natural language descriptions.

ArabelaTso/Skills-4-SE

Generates hierarchical context files (CLAUDE.md) throughout a project directory tree, providing AI agents with directory-specific knowledge for better code understanding.

ArabelaTso/Skills-4-SE

Update Java test classes and methods to work with new code versions after refactoring or modifications.

ArabelaTso/Skills-4-SE

Intelligent code refactoring using IDE-level tools (rename, find-references, go-to-definition), AST-aware pattern matching, and TDD verification.

ArabelaTso/Skills-4-SE

Optimize test suites using mutation testing to maximize mutation kill rate with minimal tests.

ArabelaTso/Skills-4-SE

Browser automation via Playwright for web testing, screenshots, form filling, scraping, and verification.

ArabelaTso/Skills-4-SE

Extract programming-language-agnostic pseudocode from source code in any language, preserving control flow and logical structure while filtering out implementation details.

ArabelaTso/Skills-4-SE

Generate comprehensive, user-friendly README.md files for code repositories.

ArabelaTso/Skills-4-SE