Search: github.com/veryfi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Show HN: OQP – A verification protocol for AI agents

2 months ago

4 points

182.

DMATH – Formal Verification Tools

github.com/dropbox

3 months ago

4 points

183.

Show HN: VeriMed – open-source medical license verification

github.com/daretechie

6 months ago

4 points

184.

SWE-bench verified agents may look at future repository state

github.com/SWE-bench

10 months ago

4 points

185.

AutoCorrode: Verification Infrastructure for Isabelle/HOL

github.com/awslabs

a year ago

4 points

186.

EverCrypt: A Verified Crypto Provider

github.com/project-everest

7 years ago

4 points

187.

A library for building Merkle trees and efficient data verification

github.com/vpaliy

7 years ago

4 points

188.

Show HN: Absence Verification and Detection Helping Instrument

github.com/ydlamba

8 years ago

4 points

189.

Show HN: Pharaoh – Reproducible Phar Verification for PHP Projects

github.com/paragonie

10 years ago

4 points

190.

AIs built a working Deleuzian engine and the verification script to prove it

9 months ago

3 points

191.

Paper-First Verifiable Credentials Specification Using QR Codes

github.com/Path-Check

4 years ago

3 points

192.

Show HN: VR.dev – Open-source verifiers for what AI agents did

3 months ago

3 points

193.

Imrobot – Reverse-CAPTCHA that verifies AI agents, not humans

github.com/leopechnicki

4 months ago

3 points

194.

A machine-verified formalization of Advaita Vedānta in Isabelle/HOL

github.com/matthew-scherf

8 months ago

3 points

195.

Show HN: verifiable API and MCP calls

github.com/peacprotocol

2 months ago

3 points

196.

An agentic verification loop to stop LLMs from faking tests

github.com/tzachbon

3 months ago

3 points

197.

SPL – AI patterns with verifiable truth scores

github.com/spliq

8 months ago

3 points

198.

Show HN: VeritasGraph,An on-premise Graph RAG with verifiable source attribution

github.com/bibinprathap

10 months ago

3 points

199.

Finite math system, verified in Coq – for theory nerds and alt. IT ppl

github.com/probabilistic-minds-consortium

a year ago

3 points

200.

Accelerating LLM Serving with Speculative Inference and Token Tree Verification

github.com/flexflow

3 years ago

3 points

201.

Fwupd – S3 bucket takeover and CVE-2020-10759 signature verification bypass

github.com/justinsteven

6 years ago

3 points

202.

Package verification using gpg (2015)

8 years ago

3 points

203.

List of free software testing and verification resources

github.com/ligurio

9 years ago

3 points

204.

Dumb and verifiable scrypt implementation

github.com/indutny

11 years ago

3 points

205.

Patch-level verification for Bundler

github.com/postmodern

13 years ago

3 points

206.

Qed: A verified web front end written in Lean4

github.com/JacobAsmuth

8 days ago

3 points

207.

AAD-50: multi-cycle NVMe sanitize with per-cycle hardware verification

github.com/yonasabeselom

9 days ago

3 points

208.

A Lean 4-verified Balansis lib to eliminate NaN and make zero-division safe

github.com/XTeam-Pro

10 days ago

3 points

209.

Witness – signed, offline-verifiable records of real-time Grok observations

github.com/Thinklanceai

a month ago

3 points

210.

TournO: Tournament Optimization for Non-Verifiable RL

github.com/haizelabs

3 months ago

3 points