Офлайн-детерминированное доказательство того, что предоставленная кампания по устранению уязвимостей охватила все заявленные активы, развернула один исправленный артефакт, провела повторное сканирование после развертывания, уложилась в срок устранения и достигла свежего нулевого остаточного закрытия. Входные данные и отчеты содержат только хэши и ограниченные публичные метаданные — никогда не содержат имена хостов, адреса, тела сканирования или секреты.
Это намеренно не сканер и не менеджер исправлений. DeepSec сканирует код DSH, а upstream-radar отслеживает уязвимости зависимостей; операционные платформы развертывают исправления. Этот плагин не выполняет обнаружение, сканирование, установку, смягчение или запросы к живым системам. Он лишь пересчитывает сокращенный вердикт урегулирования на основе явных квитанций.
npm test
npm run check
node bin/dsh-vulnerability-remediation-proof.mjs verify examples/closed.jsonИнструменты DSH: dsh_vulnerability_remediation_inspect и dsh_vulnerability_remediation_verify. MCP предоставляет эквивалентные встроенные инструменты, работающие только с доказательствами. В отчетах явно сохраняются authenticatesReceipts: false, provesAssetSetExhaustive: false и provesAbsenceOfOtherVulnerabilities: false.
Ссылки: NIST SP 800-40 Rev. 4 и NIST SP 1800-31.
Лицензия MIT.
This server cannot be deployed
Read-only verifier for 25 ProofRelay MCP tools and non-confidential evidence bundles.
Read-only CVE intelligence, remediation playbooks, and agent setup guides. Not a scanner.
Verifies Bernstein run receipts and hash chains; lists the shipped presets and adapters. Read-only.
Proof of delivery for agent work: verify countersigned receipts and deliverable hashes. Free.
