Satyawan Singh
I build systems that prove things: verification for AI output, formal checks for code, receipts for machine decisions.
Currently Velkron, the verification layer for AI in regulated industries. Before and around that: a formally tested blockchain, a clinical speech model trained from scratch, and a set of open-source libraries that all circle one conviction: machine output should be provable, not trusted.
Everything below is real, dated and checkable.
SIGNED CLAIMS
click verify on any cardThe verification layer for AI in regulated industries. Deterministic compliance checks, tamper-evident receipts, proof of inference.
Rust tool that proves a function can't panic, built on Kani. Four honest verdicts; INCONCLUSIVE is never a false pass.
Four zero-dependency Python libraries, one idea: check the output, don't trust it. Conformal abstention, grounding, verifier-gated search, agent consensus.
A formally-verified runtime shield that proves a robot control policy stays inside a safety envelope. Every action is checked by the z3 solver, demonstrated on a MuJoCo arm.
Trust-scoring for clinical AI: when should a medical model's output be believed, and when should it abstain?
NHS GP scribe with a 119M-parameter Conformer ASR model trained from scratch for UK clinical audio.
RegTech retrieval for FCA-regulated firms, with provenance-gated citations and a refusal-first answer gate.
A 140-crate Rust L1 blockchain with 25,000+ passing tests and novel consensus-verification primitives. Paused while Velkron is the focus.
RUNNING DEMOS
WRITING
SHIP LOG
- 2026-07-23Launched velkron.xyz and console.velkron.xyz. Applied to Hub71. Shipped verified-safety-shield.
- 2026-07-21Launched cargo-vouch on crates.io.
- 2026-07-13Published the open-source verification quartet.
VERIFY
- GitHubgithub.com/ss1738
- crates.iocargo-vouch
- Hugging FaceSatyawan1
- Emailsatyawansinghinuk@gmail.com