Search: github.com/verifid | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

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

1 point

2 months ago

362.

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

1 point

2 months ago

363.

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

1 point

2 months ago

364.

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

1 point

2 months ago

365.

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

1 point

2 months ago

366.

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

1 point

2 months ago

367.

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

1 point

2 months ago

368.

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

1 point

3 months ago

369.

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

1 point

3 months ago

370.

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

1 point

3 months ago

371.

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

1 point

3 months ago

372.

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

1 point

3 months ago

373.

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

1 point

3 months ago

374.

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

1 point

3 months ago

375.

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

1 point

4 months ago

376.

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

1 point

4 months ago

377.

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

1 point

4 months ago

378.

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

1 point

4 months ago

379.

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

1 point

4 months ago

380.

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

1 point

4 months ago

381.

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

1 point

4 months ago

382.

Show HN: DealGraph – an open, verifiable ledger of businesses for sale (github.com/jeffsosville)

1 point

4 months ago

383.

Show HN: AgentFacts – verifiable identity and audit logs for AI agents (github.com/agentfacts)

1 point

5 months ago

384.

Improper HMAC Signature Verification in auth0/node-jws (github.com/auth0)

1 point

6 months ago

385.

AnonCreds – Verifiable Credential Format (github.com/anoncreds)

1 point

6 months ago

386.

Show HN: Crovia – offline-verifiable AI royalty evidence (CEP.v1) (github.com/croviatrust)

1 point

6 months ago

387.

Show HN: Crovia – offline-verifiable AI royalty evidence (CEP.v1) (github.com/croviatrust)

1 point

6 months ago

388.

Show HN: I built a triple-agent LLM system that verifies its own work

1 point

7 months ago

389.

Show HN: Lux Sync Master – verified n8n and WordPress and Docker automation pack (github.com/bartoszcreator)

1 point

8 months ago

390.

Delegatable Verification (DelVe): A simpler approach to domain verification (github.com/mikotoIO)

1 point

8 months ago