Search: github.com/veryfi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

Show HN: Cryptographic post signing and verification for WordPress

4 months ago

1 points

392.

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

4 months ago

1 points

393.

Show HN: Receiver – Internet radio for GNOME with 30K pre-verified stations

github.com/meehow

4 months ago

1 points

394.

Show HN: EPI – Cryptographically verifiable execution artifacts for AI agents

github.com/mohdibrahimaiml

4 months ago

1 points

395.

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

5 months ago

1 points

396.

Show HN: Verification-first workflow plugin for Claude Code

github.com/doodledood

5 months ago

1 points

397.

Show HN: Verifiable server roundtrip demo for a decision interruption system

github.com/veeduzyl-hue

5 months ago

1 points

398.

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

5 months ago

1 points

399.

Show HN: DealGraph – an open, verifiable ledger of businesses for sale

github.com/jeffsosville

5 months ago

1 points

400.

Show HN: AgentFacts – verifiable identity and audit logs for AI agents

github.com/agentfacts

5 months ago

1 points

401.

Improper HMAC Signature Verification in auth0/node-jws

github.com/auth0

6 months ago

1 points

402.

AnonCreds – Verifiable Credential Format

github.com/anoncreds

6 months ago

1 points

403.

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

github.com/croviatrust

7 months ago

1 points

404.

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

github.com/croviatrust

7 months ago

1 points

405.

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

8 months ago

1 points

406.

Show HN: Lux Sync Master – verified n8n and WordPress and Docker automation pack

github.com/bartoszcreator

8 months ago

1 points

407.

Delegatable Verification (DelVe): A simpler approach to domain verification

github.com/mikotoIO

9 months ago

1 points

408.

Show HN: SaveContract – CLI tool to download verified smart contract source code

github.com/aaurelions

a year ago

1 points

409.

Show HN: ARZY-G – A token born from AI-verified usefulness (not mined or bought)

a year ago

1 points

410.

Show HN: passkey-go A Go library for streamlined Passkey (WebAuthn) verification

github.com/aethiopicuschan

a year ago

aethiopicuschan

1 points

411.

Show HN: Scopez verifies connectivity to targets, reveals CDN presence etc.

github.com/xcalts

a year ago

1 points

412.

Modelteam – Build AI Verified Skill Profile from Your Code

github.com/modelteam-ai

a year ago

1 points

413.

cargo-crev – cryptographically verifiable code review system for Rust

github.com/crev-dev

a year ago

1 points

414.

Issue Digital/Verifiable Credentials with the Existing OIDC Infrastructure

github.com/MyNextID

a year ago

1 points

415.

Quantum-Enhanced Mathematical Reasoning System – Seeking Expert Verification

a year ago

1 points

416.

NASA Copilot: A stream-based runtime-verification framework

github.com/Copilot-Language

2 years ago

1 points

417.

Show HN: Proof of Peace, Zero-Knowledge Proof for Verifiable Nuclear Disarmament

github.com/zk-bankai

3 years ago

1 points

418.

Show HN: New Chrome Extension for Trustless Ethereum Balance Verification

chrome.google.com

3 years ago

1 points

419.

John Regehr: Alive2 LLVM optims verification

github.com/AliveToolkit

3 years ago

1 points

420.

Par2cmdline is a PAR 2.0 compatible file verification and repair tool

github.com/Parchive

4 years ago

1 points