arabelatso/skills-4-se 已索引

源文件证据覆盖

已存储的包版本在这个仓库中引用的固定源文件的原始计数。它反映已记录了什么，不代表仓库有多完整。

引用了 188 个固定源文件

• 188 已知
• 0 提交中不存在
• 0 文件列表截断
• 0 不受支持
• 0 尚无记录
• 0 读取失败

按仓库、提交和路径去重；同一路径出现在两个提交中，按两个文件身份计数。不是组件组数。

读取失败的提交 0

尚无记录的文件没有对应的提交读取失败记录。

关联的包 188

按仓库的已验证身份关联。数量是历史登记记录，不是当前可用性。

第 1–20 条，共 188 条结果

• abstract-domain-explorer技能

  Applies abstract interpretation using different abstract domains (intervals, octagons, polyhedra, sign, congruence) to statically analyze program variables and infer invariants, value ranges, and relationships. Use when analyzing program p…

  4f38503747e0

• abstract-invariant-generator技能

  Uses abstract interpretation to automatically infer loop invariants, function preconditions, and postconditions for formal verification. Generates invariants that capture program behavior and support correctness proofs in Dafny, Isabelle, …

  4f38503747e0

• abstract-state-analyzer技能

  Performs abstract interpretation over source code to infer possible program states, variable ranges, and data properties without executing the program. Reports potential runtime errors including out-of-bounds accesses, null dereferences, t…

  4f38503747e0

• abstract-trace-summarizer技能

  Performs abstract interpretation to produce summarized execution traces and high-level program behavior representations. Highlights key control flow paths, variable relationships, loop invariants, function summaries, and potential runtime …

  4f38503747e0

• acsl-annotation-assistant技能

  Create ACSL (ANSI/ISO C Specification Language) formal annotations for C/C++ programs. Use this skill when working with formal verification, adding function contracts (requires/ensures), loop invariants, assertions, memory safety annotatio…

  4f38503747e0

• agent-browser技能

  CLI-based browser automation with persistent page state using ref-based element interaction. Use when users ask to navigate websites, interact with web pages, fill forms, take screenshots, test web applications, or extract information from…

  4f38503747e0

• ambiguity-detector技能

  Detects and analyzes ambiguous language in software requirements and user stories. Use when reviewing requirements documents, user stories, specifications, or any software requirement text to identify vague quantifiers, unclear scope, unde…

  4f38503747e0

• api-design-assistant技能

  Design and review APIs with suggestions for endpoints, parameters, return types, and best practices. Use when designing new APIs from requirements, reviewing existing API designs, generating API documentation, or getting implementation gui…

  4f38503747e0

• api-documentation-generator技能

  Generate comprehensive API documentation from repository sources including OpenAPI specs, code comments, docstrings, and existing documentation. Use when documenting APIs, creating API reference guides, or summarizing API functionality fro…

  4f38503747e0

• assertion-synthesizer技能

  Generate test assertions from existing code implementation. Use when the user has implementation code without tests or incomplete test coverage, and needs assertions synthesized by analyzing the code's behavior, inputs, outputs, and state …

  4f38503747e0

• behavior-preservation-checker技能

  Compare runtime behavior between original and migrated repositories to detect behavioral differences, regressions, and semantic changes. Use when validating code migrations, refactorings, language ports, framework upgrades, or any transfor…

  4f38503747e0

• behavioral-mutation-analyzer技能

  Analyzes surviving mutants from mutation testing to identify why tests failed to detect them. Takes repository code, test suite, and mutation testing results as input. Identifies root causes including insufficient coverage, equivalent muta…

  4f38503747e0

• bisect-aware-instrumentation技能

  Instrument code to support efficient git bisect by producing deterministic pass/fail signals and concise runtime summaries for each tested commit. Use when debugging regressions with git bisect, automating bisect workflows, creating bisect…

  4f38503747e0

• bug-history-summarizer技能

  Summarizes the complete lifecycle of a bug across code versions, tracking its introduction, detection, fixing attempts, and regression history. Use when users need to: (1) Understand how a bug evolved over time, (2) Trace when and how a bu…

  4f38503747e0

• bug-localization技能

  Identify the precise location of bugs in source code, modules, and systems. Use this skill when debugging applications, investigating test failures, analyzing error reports, tracing runtime issues, or performing root cause analysis. Analyz…

  4f38503747e0

• bug-reproduction-test-generator技能

  Automatically generates executable tests that reproduce reported bugs from issue reports and code repositories. Use when users need to: (1) Create a test that reproduces a bug described in an issue report, (2) Generate failing tests from b…

  4f38503747e0

• bug-to-patch-generator技能

  Generate code fixes and patches from bug reports, failing test cases, error messages, and stack traces. Use this skill when debugging code, fixing test failures, addressing GitHub issues, resolving runtime errors, or patching security vuln…

  4f38503747e0

• build-ci-migration-assistant技能

  Automatically migrates build systems and CI/CD configurations to target platforms. Use when modernizing build infrastructure, switching CI/CD providers, or standardizing across projects. Supports common migration paths including Maven↔Grad…

  4f38503747e0

• c-cpp-to-lean4-translator技能

  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. Use when the user asks to convert C/C++ code to Lean4, port C/C++ pro…

  4f38503747e0

• cd-pipeline-generator技能

  Generate GitHub Actions deployment workflows for automated deployment to staging and production environments on cloud platforms (AWS, GCP, Azure). Use when setting up continuous deployment pipelines, creating deployment automation, or conf…

  4f38503747e0

已保存的扫描说明 0

没有保存额外的扫描说明。

记录的别名 0

这些名称在上次记录时指向这个仓库。这是记录下来的解析结果，不是实时的 GitHub 检查；本站不会因此合并包或元数据。

没有记录到指向这个仓库的别名。

不支持的市场条目 0

这个仓库的市场清单里、本站暂不支持的条目。它们是原样保存的来源数据，不会被抓取或执行。

没有记录到不支持的条目。