Skip to main content

dependency-audit

Audit project dependencies with verifiable security assertions

Jump to install

Source facts

Repository
ApiliumCode/mayros
Last source activity
February 26, 2026 at 13:18
Detected SKILL.md language
English
Stars
12
Forks
1

Install options

The review-first prompt is selected by default. You can switch to a direct command or download a local copy.

Review the source files

Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.

File Explorer
9 files

Showing SKILL.md

SKILL.md
Source instructions · Read-only preview
name
dependency-audit
description
Audit project dependencies with verifiable security assertions
type
semantic
user-invocable
true
semantic
{"version":1,"permissions":{"graph":["read","write"],"proofs":["request","verify"],"memory":["recall"]},"assertions":[{"predicate":"dep:safe","requireProof":true},{"predicate":"dep:vulnerable","requireProof":true},{"predicate":"dep:outdated","requireProof":false}],"queries":[{"predicate":"dep:safe","scope":"namespace"},{"predicate":"dep:vulnerable","scope":"namespace"}]}
# dependency-audit Audit project dependencies and store security findings as provable assertions. ## When to Use Use when auditing npm, cargo, or other package manager dependencies for vulnerabilities. ## Instructions 1. Query existing dependency assertions with `skill_graph_query` 2. For each dependency analyzed, assert its status: - `dep:safe` with proof for verified safe packages - `dep:vulnerable` with proof for known vulnerabilities - `dep:outdated` for packages that need updating 3. Use `skill_verify_assertion` to validate previous audit results
View on GitHub