evaluating-enhancing-vulnerability-reasoning SKILL.md skillA

evaluating-enhancing-vulnerability-reasoning from lu1sdv/skillsmd is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.

Install it, pinned
mdr add lu1sdv/skillsmd/evaluating-enhancing-vulnerability-reasoning@git:20261102.b4557fd

Pins git:20261102.b4557fd in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
lu1sdv/skillsmd
Path
evaluating-enhancing-vulnerability-reasoning/SKILL.md
Versions recorded
1
Latest version
git:20261102.b4557fd, committed Nov 2, 2026
Size
15,817 bytes
Repository stars
2
License
none declared

Perform DAG-structured vulnerability reasoning on code, modeling causal dependencies between code facts instead of linear chain-of-thought. Use when asked to: 'analyze this code for vulnerabilities', 'explain why this code is vulnerable', 'trace the root cause of this security bug', 'review this function for memory safety issues', 'is this code exploitable and why', 'reason about the security of this code path'.

Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.

What the file says

# DAG-Structured Vulnerability Reasoning

This skill enables Claude to perform rigorous vulnerability analysis using Directed Acyclic Graph (DAG) structured reasoning, based on the DAGVul framework. Instead of producing linear chain-of-thought explanations that often hallucinate plausible-sounding but incorrect logic, this approach models vulnerability reasoning as a graph of causal dependencies: extracting ground facts from code as source nodes, building intermediate inference nodes through taint tracking and control/data flow analysis, and converging on terminal sink nodes that confirm or refute the vulnerability. This enforces structural consistency and eliminates the 12 systematic failure patterns (hallucination, spurious causality, incomplete evidence, etc.) that plague standard LLM vulnerability analysis.

## When to Use

- When a user asks to analyze code for security vulnerabilities and wants to understand the root cause, not just a yes/no verdict
- When reviewing a function or module for memory safety issues (use-after-free, buffer overflow, null pointer dereference)
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add lu1sdv/skillsmd/evaluating-enhancing-vulnerability-reasoning@sha256:3db256fb9d44bf30

The line at the top of this page pins the label git:20261102.b4557fd, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_szxolzro5sryzdmp.svg)](https://markdownregistry.com/a/art_szxolzro5sryzdmp)

0 badge image fetches in 30 days. What the badge shows.

Versions

The registry has recorded 1 version of this file, committed on Nov 2, 2026.

versioncommittedcommitsizeaudit
git:20261102.b4557fd latest2026-11-02 b4557fd 15,817 BA view

Audit of the latest version

A  17 of 17 checks passed. Fixed automatic checks with no AI involved, so the same checks give the same answer every run.
  • pass: Frontmatter block present
  • pass: Frontmatter declares a name
  • pass: Frontmatter declares a description
  • pass: Size between 200 bytes and 200 KB (15817 bytes)
  • pass: No zero-width or bidi control characters
  • pass: No instruction hidden inside an HTML comment
  • pass: No link to an exfiltration or paste host
  • pass: No credential-shaped string
  • pass: No instruction to send local credentials anywhere
  • pass: No text hidden with inline styles
  • pass: No prompt-injection phrasing
  • pass: No curl or wget piped into a shell
  • pass: No recursive delete of root, home or parent
  • pass: No instruction to read or print local credentials
  • pass: No base64 blob over 200 characters
  • pass: No link to a raw IP address
  • pass: No script tag

Source

GitHub

lu1sdv/skillsmd · 2 stars · license none declared · pushed 2026-11-05 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_szxolzro5sryzdmp
GET https://markdownregistry.com/api/v1/resolve?ref=lu1sdv/skillsmd/evaluating-enhancing-vulnerability-reasoning
GET https://markdownregistry.com/api/v1/blob/3db256fb9d44bf30e5724926b39b44e628f1d3a43ebccda19f8c9ba87c0c0cd5

Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.

Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.

More from lu1sdv/skillsmd

agentic-spec-driven-development SKILL.md skill
lu1sdv/skillsmd · agentic-spec-driven-development/SKILL.md · Use when applying spec-driven development to agentic coding: reviewing, auditing or validating project specs…
git:20261105.d1ff685 · audit A · 2 stars
bug-bounty-reporting SKILL.md skill
lu1sdv/skillsmd · bug-bounty-reporting/SKILL.md · A skill for creating a report in a bug bounty vulnerability assessment.Use when an agent drafts, revises, freezes, or…
git:20260922.6749075 · audit A · 2 stars
bugbounty-poc-video-runner SKILL.md skill
lu1sdv/skillsmd · bugbounty-poc-video-runner/SKILL.md · Designs a one-command, triager-friendly live security PoC video runner with staged evidence, expected-versus-actual…
git:20260829.50b9f72 · audit A · 2 stars
codeql SKILL.md skill
lu1sdv/skillsmd · codeql/SKILL.md · Scans a codebase for security vulnerabilities using CodeQL's interprocedural data flow and taint tracking analysis…
git:20260516.f0a764e · audit A · 2 stars
cook SKILL.md skill
lu1sdv/skillsmd · cook/SKILL.md · Use when user says "cook", "let it cook", wants iterative refinement with quality gates, wants to race multiple…
v1.0.0 · audit A · 2 stars
ctfd SKILL.md skill
lu1sdv/skillsmd · ctfd/SKILL.md · Use when developing, debugging, deploying, or maintaining any CTFd instance or fork - Docker stack issues, plugin…
git:20260314.993db98 · audit A · 2 stars
debate SKILL.md skill
lu1sdv/skillsmd · debate/SKILL.md · Use when a technical decision has 2–4 nameable positions and the user wants a recommendation, not open-ended…
git:20260419.6f6fafc · audit A · 2 stars
feature-engineering SKILL.md skill
lu1sdv/skillsmd · feature-engineering/SKILL.md · Use when building or improving time series forecasting models and the user asks about exogenous variables, calendar…
git:20260411.b88fc6f · audit A · 2 stars
fuzzgpt SKILL.md skill
lu1sdv/skillsmd · fuzzgpt/SKILL.md · Use when you want to fuzz any software target — library, compiler, interpreter, parser, kernel/syscall, DB engine, SMT…
git:20260922.ae9c57d · audit A · 2 stars
glitchtip SKILL.md skill
lu1sdv/skillsmd · glitchtip/SKILL.md · Use when deploying, configuring, integrating, or troubleshooting GlitchTip — including self-hosted installation, SDK…
git:20260314.993db98 · audit A · 2 stars
go-algorithms SKILL.md skill
lu1sdv/skillsmd · go-algorithms/SKILL.md · Use when choosing Go slices, maps, sets, queues, heaps, linked lists, trees or graphs, or implementing two pointers…
git:20261029.84ab386 · audit A · 2 stars
go-api-design SKILL.md skill
lu1sdv/skillsmd · go-api-design/SKILL.md · Use when designing or reviewing Go public APIs, generic constraints and type inference, interface method sets or typed…
git:20261029.84ab386 · audit A · 2 stars

Every file in lu1sdv/skillsmd

Browse by kind, by grade A, or by owner.