Search: github.com/veryfi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

PyPI mirror proxy that injects code and bypasses pip hash verification

github.com/dtmsecurity

9 months ago

1 points

362.

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

github.com/Ai-Hint

10 months ago

1 points

363.

RISC Zero MCP Server: Run Trustless and Verifiable Agentic Workflows

github.com/ronantakizawa

a year ago

1 points

364.

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

github.com/impulse-ai

a year ago

1 points

365.

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

github.com/LENT4869

a year ago

1 points

366.

LazyPaste (Verification Code "From Messages" for macOS)

github.com/21andrewchang

2 years ago

1 points

367.

Verifiable onchain machine learning with opML

github.com/hyperoracle

3 years ago

1 points

368.

Refactoring of Mobile Application Security Verification Standard (Masvs)

github.com/OWASP

5 years ago

1 points

369.

Show HN: A Maven plugin that automatically verifies PGP Signatures

github.com/exabrial

8 years ago

1 points

370.

Show HN: formal verification for Firebase

github.com/tomlarkworthy

12 years ago

1 points

371.

Verimail.js: Javascript e-mail validation and verification

github.com/amail

13 years ago

1 points

372.

A Computational Primitive for Verifiable Trust: Rethinking Distributed Systems

github.com/JamesC-xhecarpenxer

21 days ago

1 points

373.

A cryptographically verifiable state-transition engine for AI systems

github.com/Ghoti6098

21 days ago

1 points

374.

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

github.com/Dylanchess0320

a month ago

1 points

375.

Build-time sponsorship verification for OSS libraries installed via NuGet

github.com/SimonCropp

a month ago

1 points

376.

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

github.com/JustVugg

a month ago

1 points

377.

SemanticForge: Making AI Values Verifiable Across Cultures

github.com/xiaojialove-DRP

2 months ago

1 points

378.

Decision Passport verifiable AI decision records

github.com/brigalss-a

2 months ago

1 points

379.

Go CLI tool for AWS S3 security verification

github.com/sufield

2 months ago

1 points

380.

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

github.com/adaptive-scale

2 months ago

1 points

381.

SereneCode – Formal verification framework for AI-generated Python code

github.com/helgster77

3 months ago

1 points

382.

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

github.com/elly99-AI

3 months ago

1 points

383.

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

github.com/leopechnicki

3 months ago

1 points

384.

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

github.com/calvinsienatra

3 months ago

1 points

385.

Show HN: Agents with Verifiable Human Claims

docs.zipwire.io

4 months ago

1 points

386.

Show HN: Verified n8n community node for Anytype

github.com/splch

4 months ago

1 points

387.

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

github.com/viruswami5511

4 months ago

1 points

388.

Show HN: Verifiable Interaction Records for Agents

github.com/peacprotocol

4 months ago

1 points

389.

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

github.com/Th0rgal

4 months ago

1 points

390.

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

github.com/kaantahti

4 months ago

1 points