Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

331.

Dafny: Verification-Aware Programming Language from Microsoft (github.com/Microsoft)

2 points

10 years ago

332.

Show HN: Verification of Human Understanding of LLM-Generated Work (github.com/jbethune777)

1 point

25 days ago

333.

Show HN: License key verification tool written in Go (github.com/furkansenharputlu)

1 point

6 years ago

334.

Burhan(TruthCert)fail-closed verification LLM outputs(measure false-ship rate) (github.com/mahmood726-cyber)

1 point

4 months ago

335.

Show HN: Blockrand – Verifiable entropy using local secrets and Drand beacons (github.com/blockrand-api)

1 point

rishi_blockrand

5 months ago

336.

Open Museum – an MCP server for license-verified search across museums (github.com/cfpramod)

1 point

a month ago

337.

40% Increased Throughput 16.8% Less Energy for AI (Verified via ZKP) (github.com/BerzeShift)

1 point

2 months ago

338.

Show HN: QRAuth – Open-source QR verification with passkeys and device trust (github.com/QRAuth-io)

1 point

2 months ago

339.

Apysource – Verifies if sources say what you think they say (github.com/alganet)

1 point

2 months ago

340.

Tri-skill framework for routing, verification, and judgment hygiene (github.com/SyntagmaNull)

1 point

3 months ago

341.

Users pay your Lightning Address; satsgate verifies the unlock (non‑custodial) (github.com/Mike-io-hash)

1 point

3 months ago

342.

Nono-Gate: Deterministic Offline-Verifiable Security Decisions for CI (github.com/88nonog-dev)

1 point

3 months ago

343.

Verified orchestration and cost tracking for Copilot CLI (github.com/moonrunnerkc)

1 point

3 months ago

344.

Kairos – real-time AI that cross-verifies news before answering (Python, 90KB)

1 point

3 months ago

345.

Show HN: Beans, a task tracker with verification gates and agent orchestration (github.com/kfcafe)

1 point

3 months ago

346.

Show HN: Blockrand – Verifiable randomness API with a double-blind threat model (github.com/blockrand-api)

1 point

rishi_blockrand

4 months ago

347.

Show HN: VOR – A verified runtime with 0% hallucination via observations

1 point

4 months ago

348.

Show HN: FuturLang – Natural language formal verification

1 point

4 months ago

349.

Show HN: Neurop Forge – AI executes verified blocks instead of writing code (github.com/Louw115)

1 point

5 months ago

350.

Supercomputer and Better LLM (TinyLM) and Verified Media Generator and Ya (github.com/jaredlewiswechs)

1 point

jared_lewisparc

5 months ago

351.

Crovia Trust – Open-source offline engine for verifiable AI data royalties (github.com/croviatrust)

1 point

6 months ago

352.

Show HN: Runtime Verification for SQL Agents (github.com/yudduy)

1 point

6 months ago

353.

PyPI mirror proxy that injects code and bypasses pip hash verification (github.com/dtmsecurity)

1 point

9 months ago

354.

Show HN: AIHint – Open standard for verifiable website trust metadata (github.com/Ai-Hint)

1 point

9 months ago

355.

RISC Zero MCP Server: Run Trustless and Verifiable Agentic Workflows (github.com/ronantakizawa)

1 point

10 months ago

356.

Whitepaper: Decentralized Protocol for Verifiable LLM Training and Fine-Tuning [pdf] (github.com/impulse-ai)

1 point

a year ago

357.

Quori: A custom Chromium browser with passphrase verification and security logs (github.com/LENT4869)

1 point

a year ago

358.

LazyPaste (Verification Code "From Messages" for macOS) (github.com/21andrewchang)

1 point

2 years ago

359.

Verifiable onchain machine learning with opML (github.com/hyperoracle)

1 point

3 years ago

360.

Refactoring of Mobile Application Security Verification Standard (Masvs) (github.com/OWASP)

1 point

5 years ago