Search: github.com/veryfi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

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

github.com/OpenClaiming

3 months ago

2 points

272.

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

github.com/Agile-V

3 months ago

JoshuaWellbrock

2 points

273.

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

4 months ago

2 points

274.

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

github.com/rjkaes

4 months ago

2 points

275.

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

4 months ago

2 points

276.

Show HN: Glass Box: writing editor that exports a verifiable PDF of your process

4 months ago

2 points

277.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap

github.com/Shariq81

4 months ago

2 points

278.

Show HN: Secure-by-default OpenClaw on Ubuntu with verifiable security reports

github.com/NinoSkopac

4 months ago

2 points

279.

Show HN: Manifestinx-verify – offline verifier for evidence bundles (drift)

github.com/OneInX

4 months ago

2 points

280.

Show HN: Measuring how AI agent teams improve issue resolution on SWE-Verified

5 months ago

2 points

281.

Show HN: Open Deep Research that beat Big Tech now self-verifies claims

github.com/IamLumae

5 months ago

2 points

282.

Show HN: Spine – Verifiable audit logs with BLAKE3 and Ed25519

github.com/EulBite

5 months ago

2 points

283.

Show HN: ProofLoop – Autonomous long-running agents with verifiable completion

github.com/exiw-ai

5 months ago

2 points

284.

Show HN: Protocol for Verified Ephemeral Broadcasting

github.com/skylessdev

5 months ago

2 points

285.

Verification-Driven Development (VDD) via Iterative Adversarial Refinement

gist.github.com

5 months ago

2 points

286.

Verification Driven Development – Avoiding slop with agents

gist.github.com

6 months ago

2 points

287.

Ohara – blockchain verification of non-AI media

github.com/phyro

6 months ago

2 points

288.

Show HN: Email Verifier CLI/Library

github.com/yolodex-ai

7 months ago

2 points

289.

Android Developer Verification Discourse

gist.github.com

7 months ago

2 points

290.

Formal verification effort for the ABDK Math 64.64 library using echidna/hevm

github.com/gustavo-grieco

10 months ago

2 points

291.

Axiom: Decentralized AI network that discovers, verifies, and archives truth

github.com/ArtisticIntentionz

a year ago

2 points

292.

Open source expert system with verifiable answers

github.com/nikolamilosevic86

a year ago

nikolamilosevic

2 points

293.

VerifAI – Generative Search/Productivity engine with Verifiable answers (star)

github.com/nikolamilosevic86

a year ago

nikolamilosevic

2 points

294.

A transparent, highly scalable and cryptographically verifiable data store

github.com/google

a year ago

2 points

295.

Show HN: Zeno – A framework for verifiable RL rewards (code, math, and more)

github.com/Think-a-Tron

a year ago

2 points

296.

VerifAI: Generative Search with Verifiable Answers you can easily deploy

github.com/nikolamilosevic86

2 years ago

nikolamilosevic

2 points

297.

(Coq based) Verified Matching of Regular Expressions with Lookarounds

github.com/Agnishom

2 years ago

2 points

298.

Git-evtag – extended verification for Git tags

github.com/cgwalters

2 years ago

2 points

299.

Show HN: PFV (Protocols Formal Verification)

github.com/ElNiak

2 years ago

2 points

300.

Creusot, a deductive verifier for Rust code

github.com/creusot-rs

2 years ago

2 points