Install any skill in seconds. Free to start, no credit card required.
Get Started Free →lingxling/zeroize-audit
Detects missing zeroization of sensitive data in source code and identifies zeroization removed by compiler optimizations, with assembly-level analysis, and control-flow verification.
Passed 16 of 20 test cases with the skill, and 6 of 20 without it.
and 14 more in the full report
11 fixed7 passed either way4 still failing0 broke
Tokens, turns and time describe resource use, not a dollar price.
One of 11 test cases the skill fixed. Same model, same prompt, with and without the skill.
We are running an audit on `src/ssl/tls_key.c` with `mcp_mode=prefer`. Serena MCP service is unreachable. A data-flow trace indicates a `SECRET_COPY` finding supported by 1 source signal and no independent IR or ASM proof. What confidence level must `SECRET_COPY` receive?
| Checked | Without skill | With skill |
|---|---|---|
| Downgrades the SECRET_COPY finding confidence rating to needs_review when MCP is unavailable under prefer mode. | Missed | Passed |
The instructions your model reads when the skill loads.
Detect missing zeroization of sensitive data in source code and identify zeroization that is removed or weakened by compiler optimizations (e.g., dead-store elimination), with mandatory LLVM IR/asm evidence. Capabilities include:
compile_commands.json) and compilable translation units.See {baseDir}/schemas/input.json for the full schema. Key fields:
| Field | Required | Default | Description |
|---|
test cases passed, vs 6 / 20 without
Published skills whose descriptions closely match this one, with their headline benchmark lift.
More skills from the same source and nearby in the registry, with their headline benchmark lift.