Search: github.com/verifid | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Verifiable onchain machine learning with opML

github.com/hyperoracle

3 years ago

1 points

362.

Refactoring of Mobile Application Security Verification Standard (Masvs)

github.com/OWASP

5 years ago

1 points

363.

Show HN: A Maven plugin that automatically verifies PGP Signatures

github.com/exabrial

8 years ago

1 points

364.

Show HN: formal verification for Firebase

github.com/tomlarkworthy

12 years ago

1 points

365.

Verimail.js: Javascript e-mail validation and verification

github.com/amail

13 years ago

1 points

366.

A Computational Primitive for Verifiable Trust: Rethinking Distributed Systems

github.com/JamesC-xhecarpenxer

20 days ago

1 points

367.

A cryptographically verifiable state-transition engine for AI systems

github.com/Ghoti6098

21 days ago

1 points

368.

LuckyD Code – AI coding assistant that self-verifies every edit

github.com/Dylanchess0320

a month ago

1 points

369.

Build-time sponsorship verification for OSS libraries installed via NuGet

github.com/SimonCropp

a month ago

1 points

370.

Show HN: Gutenberg – Any URL to verified CLI and MCP server and agent skills

github.com/JustVugg

a month ago

1 points

371.

SemanticForge: Making AI Values Verifiable Across Cultures

github.com/xiaojialove-DRP

2 months ago

1 points

372.

Decision Passport verifiable AI decision records

github.com/brigalss-a

2 months ago

1 points

373.

Go CLI tool for AWS S3 security verification

github.com/sufield

2 months ago

1 points

374.

Show HN: CodeJourney – Verifiable due diligence for code and IP

github.com/adaptive-scale

2 months ago

1 points

375.

SereneCode – Formal verification framework for AI-generated Python code

github.com/helgster77

3 months ago

1 points

376.

MarCognity-AI v2.7.0 – factual grounding for LLM epistemic verification

github.com/elly99-AI

3 months ago

1 points

377.

Show HN: Imrobot – Reverse CAPTCHA that verifies AI agents, not humans

github.com/leopechnicki

3 months ago

1 points

378.

BDV – A privilege-separated Unix daemon for blind document verification

github.com/calvinsienatra

3 months ago

1 points

379.

Show HN: Agents with Verifiable Human Claims

docs.zipwire.io

4 months ago

1 points

380.

Show HN: Verified n8n community node for Anytype

github.com/splch

4 months ago

1 points

381.

Show HN: GuardClaw – cryptographically verifiable execution logs for AI agents

github.com/viruswami5511

4 months ago

1 points

382.

Show HN: Verifiable Interaction Records for Agents

github.com/peacprotocol

4 months ago

1 points

383.

Show HN: Verity, Formally verified smart contracts from spec to bytecode

github.com/Th0rgal

4 months ago

1 points

384.

Show HN: AI-assert – Constraint verification for LLM outputs (278 lines, Python)

github.com/kaantahti

4 months ago

1 points

385.

Show HN: Cryptographic post signing and verification for WordPress

4 months ago

1 points

386.

Show HN: Doksnet – keep docs and code in sync with hash verification

4 months ago

1 points

387.

Show HN: Receiver – Internet radio for GNOME with 30K pre-verified stations

github.com/meehow

4 months ago

1 points

388.

Show HN: EPI – Cryptographically verifiable execution artifacts for AI agents

github.com/mohdibrahimaiml

4 months ago

1 points

389.

Show HN: Aicpm – Verifiable AI provenance labels for web content

4 months ago

1 points

390.

Show HN: Verification-first workflow plugin for Claude Code

github.com/doodledood

5 months ago

1 points