Search: github.com/verifid | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Open specification for user-respecting ID verifications (whitepaper)

github.com/zer0-ID

a year ago

2 points

242.

Show HN: High-performance Perforce file integrity verification

github.com/fechols

a year ago

2 points

243.

Service Worker Verification

2 years ago

2 points

244.

T3Boy – A Browser Game Boy Emulator Capable of TAS Verification

github.com/TiKevin83

2 years ago

2 points

245.

Bacalhau: Compute over Data framework for public, transparent, verifiable work

github.com/bacalhau-project

3 years ago

2 points

246.

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

github.com/justinsteven

6 years ago

2 points

247.

Show HN: Simple Accountless, Signature Verification Only Web Hosting Server

github.com/realrasengan

6 years ago

2 points

248.

Free Email Verification API in Go

github.com/sdwolfe32

8 years ago

2 points

249.

Show HN: Identified – identity verification / ssn validation gem

github.com/dgollahon

11 years ago

2 points

250.

Show HN: Lupen – an itemized, verified receipt for Claude Code and Codex spend

github.com/momoraul

2 days ago

2 points

251.

Keystone – deterministic execution vault with replay‑verifiable proof

github.com/cryptictyrant519

2 days ago

2 points

252.

Zeroshot, an open-source CLI for coding-agent verification loops

github.com/the-open-engine

4 days ago

2 points

253.

Webhook-verification bugs across 45 popular OSS repos

github.com/Hookwarden

13 days ago

2 points

254.

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

github.com/Hookwarden

24 days ago

2 points

255.

Show HN: Built a verifiable, open-source SoC 2 readiness scanner

a month ago

2 points

256.

We built a machine-readable merchant verification layer for AI shopping agents

github.com/warwickwood-cell

a month ago

2 points

257.

A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4

github.com/MyceliaCognition

2 months ago

2 points

258.

Spine – verified codebase onboarding for Claude Code

github.com/ahmedbutt2015

2 months ago

2 points

259.

Guardians: Static verification for AI agent workflows

github.com/metareflection

2 months ago

2 points

260.

QRAuth – Cryptographic verification layer for QR codes (seeking protocol review)

github.com/QRAuth-io

2 months ago

2 points

261.

Show HN: Aim – AI-assisted verifiable SQL migration generator

github.com/alecthomas

3 months ago

2 points

262.

HDP: An open protocol for verifiable human authorization in agentic AI systems

github.com/Helixar-AI

3 months ago

2 points

263.

Avoiding Overflow Bugs in Fixed-Point Arithmetic with Formal Verification

github.com/nahhididwin

3 months ago

2 points

264.

Age Verification Status of Open Source Operating Systems

github.com/BryanLunduke

3 months ago

2 points

265.

Show HN: 3 AI agent trust systems cross-verified each other's delegation chains

github.com/kanoniv

3 months ago

2 points

266.

Show HN: OpenClaiming, a tiny protocol for verifiable claims that works anywhere

github.com/OpenClaiming

3 months ago

2 points

267.

Show HN: Agile V Skills – Open skills for verifiable, traceable AI engineering

github.com/Agile-V

3 months ago

JoshuaWellbrock

2 points

268.

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

4 months ago

2 points

269.

Show HN: Trueline – Hash-verified edits save 44% of Claude's output tokens

github.com/rjkaes

4 months ago

2 points

270.

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

4 months ago

2 points