{"id":16639,"plugin_id":"plugins_6a5e37e544648191aae6a3ac7d59f4e8","kind":"skill","collection_source":null,"comparison_source":null,"observed_at":"2026-09-30T23:13:36.758Z","digest":"e0016ab66275446c2d98faca5e37fb5067cb73516c4651a0edf0c1b0803e5e16","against":null,"payload":{"description":"Verify NaCl code, tests, QA, synchronization, review evidence, or stubs without converting missing runtime proof into success.","included_files":[{"relative_path":"resources/references/skills-only-runtime-contract.md","size_in_bytes":7181},{"relative_path":"resources/workflows/nacl-tl-verify-code/SKILL.md","size_in_bytes":9449},{"relative_path":"resources/workflows/nacl-tl-verify/SKILL.md","size_in_bytes":3833},{"relative_path":"resources/workflows/references/verification-evidence.md","size_in_bytes":14769}],"name":"nacl-verify","skill_md_contents":"---\nname: nacl-verify\ndescription: Verify NaCl code, tests, QA, synchronization, review evidence, or stubs without converting missing runtime proof into success.\n---\n\n# NaCl Verify\n\nRead [the Skills-only runtime contract](resources/references/skills-only-runtime-contract.md),\n[the verification workflow](resources/workflows/nacl-tl-verify/SKILL.md),\nand [the evidence taxonomy](resources/workflows/references/verification-evidence.md).\nRequire a loaded project `nacl_neo4j` MCP and verified read canary for graph-backed\nverification; otherwise return `BLOCKED/PROJECT_MCP_NOT_CONFIGURED` and route\nto `nacl-init`.\n\nSelect one verification leaf and report its exact commands and exit codes. Use\nonly project-local Neo4j MCP tools. Verification stays read-only except for an\nexplicit evidence artifact or confirmed Task evidence update with claim,\nfence/revision, same-mutation evidence, read-back and release. Missing runtime\nor graph proof never becomes a vacuous pass.\n"},"changes":[],"summary":"First saved snapshot. No earlier version is available for comparison.","summary_kind":"deterministic","summary_metadata":{}}