Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

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

1 point

5 months ago

392.

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

1 point

5 months ago

393.

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

1 point

6 months ago

394.

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

1 point

6 months ago

395.

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

1 point

6 months ago

396.

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

1 point

6 months ago

397.

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

1 point

7 months ago

398.

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

1 point

8 months ago

399.

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

1 point

8 months ago

400.

Show HN: SaveContract – CLI tool to download verified smart contract source code (github.com/aaurelions)

1 point

10 months ago

401.

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

1 point

a year ago

402.

Show HN: passkey-go A Go library for streamlined Passkey (WebAuthn) verification (github.com/aethiopicuschan)

1 point

aethiopicuschan

a year ago

403.

Show HN: Scopez verifies connectivity to targets, reveals CDN presence etc. (github.com/xcalts)

1 point

a year ago

404.

Modelteam – Build AI Verified Skill Profile from Your Code (github.com/modelteam-ai)

1 point

a year ago

405.

cargo-crev – cryptographically verifiable code review system for Rust (github.com/crev-dev)

1 point

a year ago

406.

Issue Digital/Verifiable Credentials with the Existing OIDC Infrastructure (github.com/MyNextID)

1 point

a year ago

407.

Quantum-Enhanced Mathematical Reasoning System – Seeking Expert Verification

1 point

a year ago

408.

NASA Copilot: A stream-based runtime-verification framework (github.com/Copilot-Language)

1 point

2 years ago

409.

Show HN: Proof of Peace, Zero-Knowledge Proof for Verifiable Nuclear Disarmament (github.com/zk-bankai)

1 point

2 years ago

410.

Show HN: New Chrome Extension for Trustless Ethereum Balance Verification (chrome.google.com)

1 point

3 years ago

411.

John Regehr: Alive2 LLVM optims verification (github.com/AliveToolkit)

1 point

3 years ago

412.

Par2cmdline is a PAR 2.0 compatible file verification and repair tool (github.com/Parchive)

1 point

4 years ago

413.

Show HN: Feeling Blue, Twitter verification for the rest of us (feelingblue.pages.dev)

1 point

4 years ago

414.

A tiny, simple, dynamic type verifier for JavaScript [Gist] (gist.github.com)

1 point

4 years ago

415.

Formal verification of folklore and miscellaneous results in number theory (github.com/josephcmac)

1 point

4 years ago

416.

Carge-crev: A cryptographically verifiable code review system for Rust (github.com/crev-dev)

1 point

4 years ago

417.

Verus: Verified Rust for low-level systems code (github.com/secure-foundations)

1 point

4 years ago

418.

Creusot: Deductive Verification of Rust (github.com/xldenis)

1 point

4 years ago

419.

Continuous Verification of the Ostree Content (github.com/alexlarsson)

1 point

4 years ago

420.

Verified Instruction-Level Energy Consumption Measurement for Nvidia GPUs (github.com/NMSU-PEARL)

1 point

4 years ago