Search: github.com/verifid | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

Show HN: Verification-first workflow plugin for Claude Code

github.com/doodledood

5 months ago

1 points

392.

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

github.com/veeduzyl-hue

5 months ago

1 points

393.

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

5 months ago

1 points

394.

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

github.com/jeffsosville

5 months ago

1 points

395.

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

github.com/agentfacts

5 months ago

1 points

396.

Improper HMAC Signature Verification in auth0/node-jws

github.com/auth0

6 months ago

1 points

397.

AnonCreds – Verifiable Credential Format

github.com/anoncreds

6 months ago

1 points

398.

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

github.com/croviatrust

7 months ago

1 points

399.

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

github.com/croviatrust

7 months ago

1 points

400.

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

8 months ago

1 points

401.

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

github.com/bartoszcreator

8 months ago

1 points

402.

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

github.com/mikotoIO

9 months ago

1 points

403.

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

github.com/aaurelions

a year ago

1 points

404.

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

a year ago

1 points

405.

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

github.com/aethiopicuschan

a year ago

aethiopicuschan

1 points

406.

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

github.com/xcalts

a year ago

1 points

407.

Modelteam – Build AI Verified Skill Profile from Your Code

github.com/modelteam-ai

a year ago

1 points

408.

cargo-crev – cryptographically verifiable code review system for Rust

github.com/crev-dev

a year ago

1 points

409.

Issue Digital/Verifiable Credentials with the Existing OIDC Infrastructure

github.com/MyNextID

a year ago

1 points

410.

Quantum-Enhanced Mathematical Reasoning System – Seeking Expert Verification

a year ago

1 points

411.

NASA Copilot: A stream-based runtime-verification framework

github.com/Copilot-Language

2 years ago

1 points

412.

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

github.com/zk-bankai

3 years ago

1 points

413.

Show HN: New Chrome Extension for Trustless Ethereum Balance Verification

chrome.google.com

3 years ago

1 points

414.

John Regehr: Alive2 LLVM optims verification

github.com/AliveToolkit

3 years ago

1 points

415.

Par2cmdline is a PAR 2.0 compatible file verification and repair tool

github.com/Parchive

4 years ago

1 points

416.

Show HN: Feeling Blue, Twitter verification for the rest of us

feelingblue.pages.dev

4 years ago

1 points

417.

A tiny, simple, dynamic type verifier for JavaScript [Gist]

gist.github.com

4 years ago

1 points

418.

Formal verification of folklore and miscellaneous results in number theory

github.com/josephcmac

4 years ago

1 points

419.

Carge-crev: A cryptographically verifiable code review system for Rust

github.com/crev-dev

4 years ago

1 points

420.

Verus: Verified Rust for low-level systems code

github.com/secure-foundations

4 years ago

1 points