Command-line tool for checking project conformance against auditing requirements, and authoring, signing and publishing software dependency audits.
Consumer-side primitives for OpenVet: log client, on-disk cache, project/user config, audit workspace, publish staging, subject parser.
Reference HTTP server for hosting OpenVet logs.
Validating mirror for OpenVet logs.
Type-safe hashing, signing, and verifying primitives for OpenVet.
Signed skipchain commit log over a Merkle search tree for OpenVet.
Per-registry package fetch and unpack adapters for OpenVet audit authoring.
Protocol Buffers wire schema and domain types for OpenVet.
Validation and check logic for OpenVet audits.
Per-registry lockfile parsing into OpenVet audit subject tuples.
Requirement language and Kleene evaluator for OpenVet audit policies.
Content-addressed Merkle search tree (dense skip-tree) for OpenVet.