Search: github.com/verifid | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

331.

CompCert – The verified C compiler

github.com/AbsInt

9 years ago

2 points

332.

Extended verification for Git tags

github.com/cgwalters

10 years ago

2 points

333.

Dafny: Verification-Aware Programming Language from Microsoft

github.com/Microsoft

10 years ago

2 points

334.

Show HN: Verification of Human Understanding of LLM-Generated Work

github.com/jbethune777

a month ago

1 points

335.

Show HN: License key verification tool written in Go

github.com/furkansenharputlu

6 years ago

1 points

336.

Burhan(TruthCert)fail-closed verification LLM outputs(measure false-ship rate)

github.com/mahmood726-cyber

5 months ago

1 points

337.

Show HN: Blockrand – Verifiable entropy using local secrets and Drand beacons

github.com/blockrand-api

5 months ago

rishi_blockrand

1 points

338.

Open Museum – an MCP server for license-verified search across museums

github.com/cfpramod

2 months ago

1 points

339.

40% Increased Throughput 16.8% Less Energy for AI (Verified via ZKP)

github.com/BerzeShift

2 months ago

1 points

340.

Show HN: QRAuth – Open-source QR verification with passkeys and device trust

github.com/QRAuth-io

3 months ago

1 points

341.

Apysource – Verifies if sources say what you think they say

github.com/alganet

3 months ago

1 points

342.

Tri-skill framework for routing, verification, and judgment hygiene

github.com/SyntagmaNull

3 months ago

1 points

343.

Users pay your Lightning Address; satsgate verifies the unlock (non‑custodial)

github.com/Mike-io-hash

3 months ago

1 points

344.

Nono-Gate: Deterministic Offline-Verifiable Security Decisions for CI

github.com/88nonog-dev

3 months ago

1 points

345.

Verified orchestration and cost tracking for Copilot CLI

github.com/moonrunnerkc

3 months ago

1 points

346.

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

4 months ago

1 points

347.

Show HN: Beans, a task tracker with verification gates and agent orchestration

github.com/kfcafe

4 months ago

1 points

348.

Show HN: Blockrand – Verifiable randomness API with a double-blind threat model

github.com/blockrand-api

5 months ago

rishi_blockrand

1 points

349.

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

5 months ago

1 points

350.

Show HN: FuturLang – Natural language formal verification

5 months ago

1 points

351.

Show HN: Neurop Forge – AI executes verified blocks instead of writing code

github.com/Louw115

5 months ago

1 points

352.

Supercomputer and Better LLM (TinyLM) and Verified Media Generator and Ya

github.com/jaredlewiswechs

6 months ago

jared_lewisparc

1 points

353.

Crovia Trust – Open-source offline engine for verifiable AI data royalties

github.com/croviatrust

7 months ago

1 points

354.

Show HN: Runtime Verification for SQL Agents

github.com/yudduy

7 months ago

1 points

355.

PyPI mirror proxy that injects code and bypasses pip hash verification

github.com/dtmsecurity

9 months ago

1 points

356.

Show HN: AIHint – Open standard for verifiable website trust metadata

github.com/Ai-Hint

10 months ago

1 points

357.

RISC Zero MCP Server: Run Trustless and Verifiable Agentic Workflows

github.com/ronantakizawa

a year ago

1 points

358.

Whitepaper: Decentralized Protocol for Verifiable LLM Training and Fine-Tuning [pdf]

github.com/impulse-ai

a year ago

1 points

359.

Quori: A custom Chromium browser with passphrase verification and security logs

github.com/LENT4869

a year ago

1 points

360.

LazyPaste (Verification Code "From Messages" for macOS)

github.com/21andrewchang

2 years ago

1 points