Menu
Audit project dependencies with verifiable security assertions
Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.
Basé sur la classification professionnelle SOC
Connect the user's Akashi second brain (local, private, verifiable) over MCP and answer from cited vault passages with signed provenance. Query it BEFORE answering anything about the user's knowledge, projects, decisions, or conventions. Triggers - akashi, vault, my notes, second brain, remember this, what did I decide.
Use CodexBar CLI local cost usage to summarize per-model usage for Codex or Claude, including the current (most recent) model or a full model breakdown. Trigger when asked for model-level usage/cost data from codexbar, or when you need a scriptable per-model summary from codexbar cost JSON.
Create or update AgentSkills. Use when designing, structuring, or packaging skills with scripts, references, and assets.
Monitor API health and assert endpoint status with ZK proofs
Semantic code review with provable assertions about code quality
Synchronize and verify knowledge across agent namespaces
| 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"}]} |
Audit project dependencies and store security findings as provable assertions.
Use when auditing npm, cargo, or other package manager dependencies for vulnerabilities.
skill_graph_querydep:safe with proof for verified safe packagesdep:vulnerable with proof for known vulnerabilitiesdep:outdated for packages that need updatingskill_verify_assertion to validate previous audit results