Search: github.com/verifid | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

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

2 points

11 years ago

242.

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

2 points

20 days ago

243.

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

2 points

22 days ago

244.

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

2 points

a month ago

245.

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

2 points

a month ago

246.

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

2 points

a month ago

247.

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

2 points

2 months ago

248.

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

2 points

2 months ago

249.

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

2 points

2 months ago

250.

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

2 points

2 months ago

251.

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

2 points

3 months ago

252.

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

2 points

3 months ago

253.

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

2 points

3 months ago

254.

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

2 points

JoshuaWellbrock

3 months ago

255.

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

2 points

3 months ago

256.

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

2 points

3 months ago

257.

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

2 points

3 months ago

258.

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

2 points

3 months ago

259.

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

2 points

3 months ago

260.

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

2 points

3 months ago

261.

Show HN: Manifestinx-verify – offline verifier for evidence bundles (drift) (github.com/OneInX)

2 points

4 months ago

262.

Show HN: Measuring how AI agent teams improve issue resolution on SWE-Verified (arxiv.org)

2 points

4 months ago

263.

Show HN: Open Deep Research that beat Big Tech now self-verifies claims (github.com/IamLumae)

2 points

4 months ago

264.

Show HN: Spine – Verifiable audit logs with BLAKE3 and Ed25519 (github.com/EulBite)

2 points

4 months ago

265.

Show HN: ProofLoop – Autonomous long-running agents with verifiable completion (github.com/exiw-ai)

2 points

5 months ago

266.

Show HN: Protocol for Verified Ephemeral Broadcasting (github.com/skylessdev)

2 points

5 months ago

267.

Verification-Driven Development (VDD) via Iterative Adversarial Refinement (gist.github.com)

2 points

5 months ago

268.

Verification Driven Development – Avoiding slop with agents (gist.github.com)

2 points

5 months ago

269.

Ohara – blockchain verification of non-AI media (github.com/phyro)

2 points

5 months ago

270.

Show HN: Email Verifier CLI/Library (github.com/yolodex-ai)

2 points

6 months ago