Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

ChainCred: Open-Source Blockchain-Based Academic Credential Verification (github.com/achaljhawar)

2 points

8 months ago

242.

Open specification for user-respecting ID verifications (whitepaper) (github.com/zer0-ID)

2 points

10 months ago

243.

Show HN: High-performance Perforce file integrity verification (github.com/fechols)

2 points

a year ago

244.

Service Worker Verification (github.com/w3c)

2 points

2 years ago

245.

T3Boy – A Browser Game Boy Emulator Capable of TAS Verification (github.com/TiKevin83)

2 points

2 years ago

246.

Bacalhau: Compute over Data framework for public, transparent, verifiable work (github.com/bacalhau-project)

2 points

3 years ago

247.

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

2 points

6 years ago

248.

Show HN: Simple Accountless, Signature Verification Only Web Hosting Server (github.com/realrasengan)

2 points

6 years ago

249.

Free Email Verification API in Go (github.com/sdwolfe32)

2 points

8 years ago

250.

Show HN: Identified – identity verification / ssn validation gem (github.com/dgollahon)

2 points

11 years ago

251.

Hookwarden: Find missing webhook signature verification(JS/TS,Python,PHP) (github.com/Hookwarden)

2 points

7 days ago

252.

Show HN: Built a verifiable, open-source SoC 2 readiness scanner (loxeai.com)

2 points

21 days ago

253.

We built a machine-readable merchant verification layer for AI shopping agents (github.com/warwickwood-cell)

2 points

23 days ago

254.

A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4 (github.com/MyceliaCognition)

2 points

a month ago

255.

Spine – verified codebase onboarding for Claude Code (github.com/ahmedbutt2015)

2 points

a month ago

256.

Guardians: Static verification for AI agent workflows (github.com/metareflection)

2 points

a month ago

257.

QRAuth – Cryptographic verification layer for QR codes (seeking protocol review) (github.com/QRAuth-io)

2 points

2 months ago

258.

Show HN: Aim – AI-assisted verifiable SQL migration generator (github.com/alecthomas)

2 points

2 months ago

259.

HDP: An open protocol for verifiable human authorization in agentic AI systems (github.com/Helixar-AI)

2 points

2 months ago

260.

Avoiding Overflow Bugs in Fixed-Point Arithmetic with Formal Verification (github.com/nahhididwin)

2 points

3 months ago

261.

Age Verification Status of Open Source Operating Systems (github.com/BryanLunduke)

2 points

3 months ago

262.

Show HN: 3 AI agent trust systems cross-verified each other's delegation chains (github.com/kanoniv)

2 points

3 months ago

263.

Show HN: OpenClaiming, a tiny protocol for verifiable claims that works anywhere (github.com/OpenClaiming)

2 points

3 months ago

264.

Show HN: Agile V Skills – Open skills for verifiable, traceable AI engineering (github.com/Agile-V)

2 points

JoshuaWellbrock

3 months ago

265.

Show HN: Kairos, real-time AI who cross-verifies (Python, 100KB)

2 points

3 months ago

266.

Show HN: Trueline – Hash-verified edits save 44% of Claude's output tokens (github.com/rjkaes)

2 points

3 months ago

267.

AAP – An open standard for verifiable AI agent actions (RFC draft)

2 points

3 months ago

268.

Show HN: Glass Box: writing editor that exports a verifiable PDF of your process (firl.nl)

2 points

3 months ago

269.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap (github.com/Shariq81)

2 points

4 months ago

270.

Show HN: Secure-by-default OpenClaw on Ubuntu with verifiable security reports (github.com/NinoSkopac)

2 points

4 months ago