Space: nickh007/certkit-demo
title: certkit — check the proof, not the promise
sdk: static
license: apache-2.0
tags: formal-verification, security, proof-carrying-code
short_description: Verify safety proofs in-browser. Watch a forgery be refused.
Tags: static, formal-verification, security, proof-carrying-code, region:us