Prove your code produced your claims without making reviewers rerun it
K-Veritas CLI. Contribute to 27-GROUP/kveritas-go development by creating an account on GitHub.
In plain words
K-Veritas CLI is a command-line tool that cryptographically verifies computational results by binding them to the code, hardware, and time that produced them in a signed PDF. It works with any programming language, requires no runtime dependencies, and runs as a single static binary across Linux, macOS, and Windows. The tool is designed for researchers and developers who need to prove their code produced specific claims without requiring reviewers to rerun experiments.
written from the facts on this page · September 2026
From the sources
Cryptographic verification for computational experiments. Binds a result to the code, hardware, and time that produced it, in a signed PDF anyone can verify. Any language, no runtime deps, single static binary. Platform. Core features are cross-platform. The activity map and per-process hardware are Linux only, with a system-wide fallback elsewhere. # Prebuilt binary (also darwin/windows, amd64/arm64) curl -fsSL https://github.com/27-GROUP/kveritas-releases/raw/main/bin/kveritas-linux-amd64 -o kveritas chmod +x kveritas && sudo mv kveritas /usr/local/bin/ # Or build from source (Go 1.22+) make build Quick start kveritas init # start a session (redacted by default) kveritas run -- python…from github.com
Does the same job
all alternatives →
Google Antigravity CLIMay 2026 · antigravity.google · ▲250Run coding agents directly from your terminal
- OAOSS Agent I built topped the TerminalBench on Gemini-3-flash-previewApr 2026 · github.com · ▲393
Scored 65.2% vs google's official 47.8%, and the existing top closed source model Junie CLI's 64.3%. Since there are a lot of reports of deliberate cheating on TerminalBench 2.0 lately (https://debugml.github.io/cheating-agents/), I would like to also clarify a few things 1. Absolutely no {agents/skills}.md files were inserted at any point. No cheating mechanisms whatsoever 2. The cli agent was run in leaderboard compliant way (no modification of resources or timeouts) 3. The full terminal bench run was done using the fully open source version of the agent, no…
FetchSandbox MCP14d ago · fetchsandbox.com · ▲263The MCP that proves your AI's integration fixes work
More dev tools this month
the category →
Open-source GTM skills for technical founders
Dev tools · 29d ago · gtmcofounder.com
OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.
Dev tools · 2d ago · opentrailpaper.com
Launched alongside, August 2026
the whole month →- TL
Life & fun · 10d ago · louisabraham.github.io
- SA
Hello HN! I found that picking out plausible but diverse skin tones for my digital art and game development projects was kind of difficult, and I got curious about if there was a way to define a color space that made it easy. I've built a color picker and procedural generation algorithm based on the space as well as a bunch of other fun js features and demos throughout the page that use the equations. If you find it interesting, I have lots of explanations of how I built it and what properties the space has. The methodology might be a bit shaky, but hopefully the result is as helpful for…
Life & fun · Aug 2026 · toneyalexander.github.io
I trained a 125M-parameter transformer to autocomplete piano performances in real time (~108 notes/sec on an iPhone 15). The idea is basically GitHub Copilot or Tabnine, except instead of prompting it with code, you prompt it by playing a few notes on a MIDI piano. The model then continues what you played, entirely on-device. The app is free if anyone wants to try it. Happy to answer questions about the model, training, Core ML, or the many things that didn't work.
AI · 17d ago · simedw.com