Testing & Quality skills

Browse reusable Agent Skills, each with a clear purpose and practical guidance.

glint

Conventions for authoring or editing analyzers in the `glint/` Go static-analysis package — Gram's custom golangci-lint plugin built on `go/analysis`. Activate this skill whenever the task involves adding, modifying, or testing a `glint` analyzer (new rule key, new diagnostic, settings struct, fixture under `glint/testdata/`, wiring in `BuildAnalyzers`), even if the user does not say "glint" explicitly — phrases like "add a lint rule", "write a custom analyzer", "go/analysis", or "enforce X via golangci-lint" should trigger it.

255 repo starsObserved in 1 repos

Testing & Quality

GitHub

jaeger

Use the local Jaeger instance to inspect OpenTelemetry traces emitted by the Gram server and worker during development. Activate when testing backend endpoints, debugging request flows, or validating instrumentation.

255 repo starsObserved in 1 repos

Testing & Quality

GitHub

numina-lean-agent

Lean 4 theorem proving toolkit: search lemmas, verify proofs, repair/simplify code, and get LLM-assisted informal proofs

255 repo starsObserved in 1 repos

Testing & Quality

GitHub

op-test

算子鲁棒性测试。针对已在特定 shape/dtype 下验证通过的算子，系统性地测试其在不同 shape、dtype 下的精度正确性和性能表现。直接导入已有代码文件构造变异输入，利用 akg_agents DevicePool 支持多卡并行。触发词：'测试算子'、'算子测试'、'鲁棒性测试'、'泛化性测试'、'robustness test'、'shape test'等。

255 repo starsObserved in 1 repos

Testing & Quality

GitHub

performance-optimize-verify

通用性能优化验证 - 对代码优化结果进行单元测试验证，包括硬件环境检测、正确性验证和性能验证。支持vllm-mindspore、vllm-ascend等多种框架。

255 repo starsObserved in 1 repos

Testing & Quality

GitHub

performance-summary

用于汇总和对比多个算子的性能测试结果。当用户请求汇总多个算子的性能结果、对比算子 benchmark、生成性能报告、分析多个 kernel 的加速比时使用此 Skill。

255 repo starsObserved in 1 repos

Testing & Quality

GitHub

pr-demo-gif

Use when a pull request contains a user-visible Gram dashboard change that reviewers should see as a screenshot or short interaction demo.

255 repo starsObserved in 1 repos

Testing & Quality

GitHub

quality-assurance

Data quality validation and analysis accuracy verification. Invoke when user wants data quality checks, validation, or result verification.

255 repo starsObserved in 1 repos

Testing & Quality

GitHub

sorrifier

Isolates failing proof steps by replacing them with `sorry` and extracting them into standalone lemmas to modularize and decouple complex Lean 4 proofs.

255 repo starsObserved in 1 repos

Testing & Quality

GitHub

triton-ascend-error-fix

triton-ascend 常见错误修复：UB/CBUF溢出、BiShengIR编译失败、语法限制违反、数值正确性、多维索引分解错误、张量连续性

255 repo starsObserved in 1 repos

Testing & Quality

GitHub