# Kveritas Go

> K-Veritas CLI -- tamper-evident verification for Computational Experiments - 27-GROUP/kveritas-go

- **Website:** https://github.com/27-GROUP/kveritas-go
- **Pricing:** open source
- **Categories:** Design, Developer Tools
- **Tags:** design, developer-tools, ai-agents
- **Platforms:** Windows, Linux, CLI
- **Last verified:** 2026-09-10
- **Canonical page:** https://linkrena.com/tools/kveritas-go

## About

Tamper-evident verification for computational experiments. It binds a published result to the exact code, hardware, and time that produced it, in a cryptographically signed PDF anyone can verify. Works with any language, zero runtime dependencies, single static binary.

Platform. Verify, seal, proofs, checkout, benchmark artifacts, provenance, and disclosure levels are cross-platform. The file/subprocess activity map and per-process hardware attribution are Linux-only today; elsewhere they fall back to system-wide readings.

Print these to stdout in any language; everything captured is bound into the signed record.

Common metrics are also auto-detected (Keras history, sklearn CV, metric-like locals), so simple runs need no lines.

When a run declares a model card, seal produces a certificate checking the declared FLOPs against what the hardware could physically deliver.

Each run is a signed timeline of content-addressed snapshots (source state at run start, each phase, and run end, plus what changed), Merkle-linked and bound into the signature. You choose per session how much is revealed; this controls disclosure only, integrity is always committed.

## Related tools

- [Reachpad CLI](https://linkrena.com/tools/reachpad-cli): The reachpad CLI: workspaces where Claude, Codex and other coding agents build full-stack apps and share them by link, from your terminal.
- [Google Antigravity](https://linkrena.com/tools/google-antigravity): Experience liftoff with the next-gen agent platform
- [Ramanujan](https://linkrena.com/tools/ramanujan): The Ramanujan Platform aims to harness the idle computational power of various digital devices to create a powerful distributed network.
- [Kit](https://linkrena.com/tools/kit): Kit is a coding agent runtime.
- [VTCode](https://linkrena.com/tools/vtcode): VT Code is an open-source Rust terminal coding agent.
- [Coder Eval](https://linkrena.com/tools/coder-eval): Test that your Claude Code skills, MCP servers, and CLIs actually work when an agent uses them — sandboxed YAML suites, activation checks, A/B experiments, CI…