Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Show HN: A Maven plugin that automatically verifies PGP Signatures (github.com/exabrial)

1 point

8 years ago

362.

Show HN: formal verification for Firebase (github.com/tomlarkworthy)

1 point

12 years ago

363.

Verimail.js: Javascript e-mail validation and verification (github.com/amail)

1 point

13 years ago

364.

A Computational Primitive for Verifiable Trust: Rethinking Distributed Systems (github.com/JamesC-xhecarpenxer)

1 point

3 days ago

365.

A cryptographically verifiable state-transition engine for AI systems (github.com/Ghoti6098)

1 point

4 days ago

366.

LuckyD Code – AI coding assistant that self-verifies every edit (github.com/Dylanchess0320)

1 point

11 days ago

367.

Build-time sponsorship verification for OSS libraries installed via NuGet (github.com/SimonCropp)

1 point

14 days ago

368.

Show HN: Gutenberg – Any URL to verified CLI and MCP server and agent skills (github.com/JustVugg)

1 point

18 days ago

369.

SemanticForge: Making AI Values Verifiable Across Cultures (github.com/xiaojialove-DRP)

1 point

2 months ago

370.

Decision Passport verifiable AI decision records (github.com/brigalss-a)

1 point

2 months ago

371.

Go CLI tool for AWS S3 security verification (github.com/sufield)

1 point

2 months ago

372.

Show HN: CodeJourney – Verifiable due diligence for code and IP (github.com/adaptive-scale)

1 point

2 months ago

373.

SereneCode – Formal verification framework for AI-generated Python code (github.com/helgster77)

1 point

2 months ago

374.

MarCognity-AI v2.7.0 – factual grounding for LLM epistemic verification (github.com/elly99-AI)

1 point

2 months ago

375.

Show HN: Imrobot – Reverse CAPTCHA that verifies AI agents, not humans (github.com/leopechnicki)

1 point

2 months ago

376.

BDV – A privilege-separated Unix daemon for blind document verification (github.com/calvinsienatra)

1 point

2 months ago

377.

Show HN: Agents with Verifiable Human Claims (docs.zipwire.io)

1 point

3 months ago

378.

Show HN: Verified n8n community node for Anytype (github.com/splch)

1 point

3 months ago

379.

Show HN: GuardClaw – cryptographically verifiable execution logs for AI agents (github.com/viruswami5511)

1 point

3 months ago

380.

Show HN: Verifiable Interaction Records for Agents (github.com/peacprotocol)

1 point

3 months ago

381.

Show HN: Verity, Formally verified smart contracts from spec to bytecode (github.com/Th0rgal)

1 point

3 months ago

382.

Show HN: AI-assert – Constraint verification for LLM outputs (278 lines, Python) (github.com/kaantahti)

1 point

3 months ago

383.

Show HN: Cryptographic post signing and verification for WordPress (wordpress.org)

1 point

3 months ago

384.

Show HN: Doksnet – keep docs and code in sync with hash verification

1 point

4 months ago

385.

Show HN: Receiver – Internet radio for GNOME with 30K pre-verified stations (github.com/meehow)

1 point

4 months ago

386.

Show HN: EPI – Cryptographically verifiable execution artifacts for AI agents (github.com/mohdibrahimaiml)

1 point

4 months ago

387.

Show HN: Aicpm – Verifiable AI provenance labels for web content

1 point

4 months ago

388.

Show HN: Verification-first workflow plugin for Claude Code (github.com/doodledood)

1 point

4 months ago

389.

Show HN: Verifiable server roundtrip demo for a decision interruption system (github.com/veeduzyl-hue)

1 point

4 months ago

390.

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

1 point

4 months ago