Show HN: Prove your code produced your claims without making reviewers rerun it

K-Veritas is a cryptographic verification system that binds computational experiment results to the exact code, hardware, and execution time, producing a signed PDF that anyone can validate. It supports any language via a single static binary, captures per-process telemetry, checks declared FLOPs against actual resource usage, and offers selective-disclosure proofs and Merkle-based provenance. The tool includes a CLI, prebuilt binaries for Linux, macOS, and Windows, and an optional server for online verification.