Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

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

2 points

4 months ago

272.

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

2 points

4 months ago

273.

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

2 points

4 months ago

274.

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

2 points

4 months ago

275.

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

2 points

5 months ago

276.

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

2 points

5 months ago

277.

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

2 points

5 months ago

278.

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

2 points

5 months ago

279.

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

2 points

5 months ago

280.

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

2 points

6 months ago

281.

Android Developer Verification Discourse (gist.github.com)

2 points

7 months ago

282.

Formal verification effort for the ABDK Math 64.64 library using echidna/hevm (github.com/gustavo-grieco)

2 points

9 months ago

283.

Axiom: Decentralized AI network that discovers, verifies, and archives truth (github.com/ArtisticIntentionz)

2 points

10 months ago

284.

Open source expert system with verifiable answers (github.com/nikolamilosevic86)

2 points

nikolamilosevic

a year ago

285.

VerifAI – Generative Search/Productivity engine with Verifiable answers (star) (github.com/nikolamilosevic86)

2 points

nikolamilosevic

a year ago

286.

A transparent, highly scalable and cryptographically verifiable data store (github.com/google)

2 points

a year ago

287.

Show HN: Zeno – A framework for verifiable RL rewards (code, math, and more) (github.com/Think-a-Tron)

2 points

a year ago

288.

VerifAI: Generative Search with Verifiable Answers you can easily deploy (github.com/nikolamilosevic86)

2 points

nikolamilosevic

a year ago

289.

(Coq based) Verified Matching of Regular Expressions with Lookarounds (github.com/Agnishom)

2 points

2 years ago

290.

Git-evtag – extended verification for Git tags (github.com/cgwalters)

2 points

2 years ago

291.

Show HN: PFV (Protocols Formal Verification) (github.com/ElNiak)

2 points

2 years ago

292.

Creusot, a deductive verifier for Rust code (github.com/creusot-rs)

2 points

2 years ago

293.

ZK-blind: JWT verification with zero knowledge proofs (github.com/emmaguo13)

2 points

2 years ago

294.

Kami: A Platform for Hardware Specification and Verification (github.com/mit-plv)

2 points

2 years ago

295.

TODO: Remove this once I verified it works in other environment other than local (github.com/google)

2 points

3 years ago

296.

avbroot: Sign (and root) Android with custom keys while preserving Verified Boot (github.com/chenxiaolong)

2 points

3 years ago

297.

Composable static typing, proofs and formal verification for Julia (github.com/Keno)

2 points

3 years ago

298.

Simple Verification of Rust Programs via Functional Purification (2016) [pdf] (github.com/Kha)

2 points

3 years ago

299.

Nostr Verify: WordPress plugin for Nostr verification using NIP-05 (github.com/jeherve)

2 points

3 years ago

300.

Blocks all Verified Twitter Blue users on twitter.com via browser extension (github.com/kheina-com)

2 points

3 years ago