Search: github.com/verifid | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

331.

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

1 point

2 months ago

332.

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

1 point

2 months ago

333.

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

1 point

3 months ago

334.

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

1 point

3 months ago

335.

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

1 point

3 months ago

336.

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

1 point

3 months ago

337.

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

1 point

3 months ago

338.

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

1 point

3 months ago

339.

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

1 point

rishi_blockrand

4 months ago

340.

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

1 point

4 months ago

341.

Show HN: FuturLang – Natural language formal verification

1 point

4 months ago

342.

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

1 point

5 months ago

343.

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

1 point

jared_lewisparc

5 months ago

344.

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

1 point

6 months ago

345.

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

1 point

6 months ago

346.

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

1 point

9 months ago

347.

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

1 point

9 months ago

348.

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

1 point

10 months ago

349.

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

1 point

a year ago

350.

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

1 point

a year ago

351.

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

1 point

2 years ago

352.

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

1 point

3 years ago

353.

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

1 point

5 years ago

354.

Show HN: A Maven plugin that automatically verifies PGP Signatures (github.com/exabrial)

1 point

8 years ago

355.

Show HN: formal verification for Firebase (github.com/tomlarkworthy)

1 point

12 years ago

356.

Verimail.js: Javascript e-mail validation and verification (github.com/amail)

1 point

13 years ago

357.

LuckyD Code – AI coding assistant that self-verifies every edit (github.com/Dylanchess0320)

1 point

10 days ago

358.

Build-time sponsorship verification for OSS libraries installed via NuGet (github.com/SimonCropp)

1 point

13 days ago

359.

Show HN: Gutenberg – Any URL to verified CLI and MCP server and agent skills (github.com/JustVugg)

1 point

17 days ago

360.

SemanticForge: Making AI Values Verifiable Across Cultures (github.com/xiaojialove-DRP)

1 point

2 months ago