菜单
Audit project dependencies with verifiable security assertions
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 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