Alternatives
Products that do what SPIF does
Signed, tamper-evident provenance for AI outputs
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9FV
We open-sourced the TLA+ and Fizzbee verified spec behind Ursa's storage engine. Verification across ~200K states caught a design bug that years of production missed. We then handed the spec to Claude Code — it produced a working Rust implementation (concurrent producers, compaction, fencing) without back-and-forth. We think verified specs are the best harness for coding agents: open-source the spec, let anyone implement it.
Apr 2026 · github.com
- 10
- 11AS
2018 · github.com
- 12
- 13
Proves vulnerabilities before reporting them.
8d ago · dashboard-seven-self-13.vercel.app
- 14DA
Github Link: https://github.com/prahladyeri/distroverify Folks, I'm a distro hopper who mainly hops between ubuntu distros such as ubuntu, xubuntu, ubuntu-mate, etc. One thing I've found is the frequent need to verify the SHA1 hashes of the local and original version found on cdimage.ubuntu.com. Sometimes, you forget to verify the hash immediately and later, you have to again scavenge for that download URL in your browser history and then find the hash files URL, isn't it? For this, I've created a tool called distroverify that automatically pulls the corresponding…
2019
- 15
- 16
- 17
Provenance scan for files sent to you — free, in seconds
26d ago · seenpool.com
- 18AS
Hi, Wanted to share something I've been working on for over a year. AuditBadger is a compliance management platform that uses AI to write policies (there are underlying "templates" with basic requirements), rewrite controls (or trust service criterions) to match the company context, help figure out your own controls, does initial risk assessment, and business continuity planning (which at least gives you an example of how the process should look like). Fun fact - I wanted to share this a year ago, but then I spotted something similar here. The most common comment was about lacking the SOC 2…
Aug 2026 · auditbadger.com
- 19LO
Hi HN, Martin, Nils, and Jannes here. We are building Legit, an open source version control and collaboration layer for AI agents and AI native applications. You can find the repo here https://github.com/Legit-Control/monorepo and the website here https://legitcontrol.com Over the last years, we worked on multiple developer tools and AI driven products. As soon as we started letting agents modify real files and business critical data, one problem kept showing up. We could not reliably answer what changed, why it changed, or how to safely undo it. Today, most AI…
Jan 2026
- 20IB
I've always been fascinated by cryptographic principles, so I decided to dive deep into zero-knowledge proofs and implement a Groth16 proof verifier entirely in Rust. This project validates cryptographic proofs and demonstrates how succinct, verifiable computations can be achieved. Using Rust's powerful libraries like arkworks, I implemented pairing checks, public input commitments, and proof validation logic while ensuring the code remains modular and efficient. I handled the complexities of affine group operations, scalar multiplications, and optimized public input verification to make…
2024 · github.com
- 21VA
Hi all, Gorkem here. I started VerifyWise [1] to make AI governance less painful. Today, we’re launching our open-source platform to help teams take control of their AI compliance process. VerifyWise helps organizations navigate AI governance by providing audit readiness, risk registers, model fairness checks, and compliance documentation. Those are all built into a single platform you can self-host. We’ve been quietly building VerifyWise for a while, and we’re now at a place where it’s ready for more teams to try. Since we started, we've: - Released our core platform on GitHub:…
2025 · verifywise.ai
- 22
- 23WI
At Laminar (https://github.com/lmnr-ai/lmnr) we're building open source AI observability platform in Rust. We obsess over instrumentation DX for our Python and TS SDKs and in this new blog we outline how we made the most seamless way of instrumenting recently released claude agent sdk
Dec 2025 · laminar.sh
- 24FQ
SasaSavic.ca recently launched a public cryptographic timestamping service designed to remain verifiable even in a post-quantum world. The platform uses SasaSavic Quantum Shield™, a dual-signature protocol combining classical and post-quantum security. Each submitted SHA-256 hash is: • Dual-signed with ECDSA P-256 and ML-DSA-65 (per NIST FIPS 204) • Anchored to the Bitcoin blockchain via OpenTimestamps • Recorded in a public, verifiable daily ledger API (beta, no auth required): https://sasasavic.ca/beta-api/ Example curl request: curl -X POST…
Nov 2025
Ranked by how close each launch is in meaning, then by votes. Refine with a description →