Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Show HN: VeriMed – open-source medical license verification (github.com/daretechie)

4 points

5 months ago

182.

SWE-bench verified agents may look at future repository state (github.com/SWE-bench)

4 points

9 months ago

183.

AutoCorrode: Verification Infrastructure for Isabelle/HOL (github.com/awslabs)

4 points

a year ago

184.

EverCrypt: A Verified Crypto Provider (github.com/project-everest)

4 points

7 years ago

185.

A library for building Merkle trees and efficient data verification (github.com/vpaliy)

4 points

7 years ago

186.

Show HN: Absence Verification and Detection Helping Instrument (github.com/ydlamba)

4 points

8 years ago

187.

Show HN: Pharaoh – Reproducible Phar Verification for PHP Projects (github.com/paragonie)

4 points

10 years ago

188.

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

3 points

8 months ago

189.

Paper-First Verifiable Credentials Specification Using QR Codes (github.com/Path-Check)

3 points

4 years ago

190.

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

3 points

3 months ago

191.

Imrobot – Reverse-CAPTCHA that verifies AI agents, not humans (github.com/leopechnicki)

3 points

3 months ago

192.

A machine-verified formalization of Advaita Vedānta in Isabelle/HOL (github.com/matthew-scherf)

3 points

8 months ago

193.

Show HN: verifiable API and MCP calls (github.com/peacprotocol)

3 points

2 months ago

194.

An agentic verification loop to stop LLMs from faking tests (github.com/tzachbon)

3 points

2 months ago

195.

SPL – AI patterns with verifiable truth scores (github.com/spliq)

3 points

7 months ago

196.

Show HN: VeritasGraph,An on-premise Graph RAG with verifiable source attribution (github.com/bibinprathap)

3 points

9 months ago

197.

Finite math system, verified in Coq – for theory nerds and alt. IT ppl (github.com/probabilistic-minds-consortium)

3 points

10 months ago

198.

Accelerating LLM Serving with Speculative Inference and Token Tree Verification (github.com/flexflow)

3 points

3 years ago

199.

Fwupd – S3 bucket takeover and CVE-2020-10759 signature verification bypass (github.com/justinsteven)

3 points

6 years ago

200.

Package verification using gpg (2015) (github.com/npm)

3 points

8 years ago

201.

List of free software testing and verification resources (github.com/ligurio)

3 points

9 years ago

202.

Dumb and verifiable scrypt implementation (github.com/indutny)

3 points

11 years ago

203.

Patch-level verification for Bundler (github.com/postmodern)

3 points

13 years ago

204.

Witness – signed, offline-verifiable records of real-time Grok observations (github.com/Thinklanceai)

3 points

9 days ago

205.

TournO: Tournament Optimization for Non-Verifiable RL (github.com/haizelabs)

3 points

2 months ago

206.

Show HN: Aura-State – A Formally Verified LLM State Machine Compiler

3 points

3 months ago

207.

CognOS – Trust Verification Gateway for Every AI Decision [Open Source] (github.com/base76-research-lab)

3 points

3 months ago

208.

Show HN: Verified 16.7M Mac chip architecture on $60 Android phone

3 points

4 months ago

209.

Build generative search engine with verifiable answers (github.com/nikolamilosevic86)

3 points

nikolamilosevic

10 months ago

210.

Rust2ada: Converts Rust code to formally verifiable Ada, including itself (github.com/IntuitionAmiga)

3 points

a year ago