Search: github.com/viridia | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: Nova Stack – Verifiable TEE Apps on AWS Nitro with ZKP Attestation

github.com/sparsity-xyz

5 months ago

2 points

62.

AIHint an open standard for signed verifiable metadata readable by AI on the web

a year ago

2 points

63.

Show HN: Runtime Encrypted and Verifiable Kubernetes

github.com/edgelesssys

4 years ago

2 points

64.

First Verifiable AI Architecture Analysis – Zero Source Files Read

github.com/mirzahusadzic

8 months ago

2 points

65.

Bacalhau: Compute over Data framework for public, transparent, verifiable work

github.com/bacalhau-project

3 years ago

2 points

66.

Keystone – deterministic execution vault with replay‑verifiable proof

github.com/cryptictyrant519

a day ago

2 points

67.

Show HN: Built a verifiable, open-source SoC 2 readiness scanner

a month ago

2 points

68.

Show HN: Aim – AI-assisted verifiable SQL migration generator

github.com/alecthomas

3 months ago

2 points

69.

HDP: An open protocol for verifiable human authorization in agentic AI systems

github.com/Helixar-AI

3 months ago

2 points

70.

Show HN: OpenClaiming, a tiny protocol for verifiable claims that works anywhere

github.com/OpenClaiming

3 months ago

2 points

71.

Show HN: Agile V Skills – Open skills for verifiable, traceable AI engineering

github.com/Agile-V

3 months ago

JoshuaWellbrock

2 points

72.

AAP – An open standard for verifiable AI agent actions (RFC draft)

4 months ago

2 points

73.

Show HN: Glass Box: writing editor that exports a verifiable PDF of your process

4 months ago

2 points

74.

Show HN: Secure-by-default OpenClaw on Ubuntu with verifiable security reports

github.com/NinoSkopac

4 months ago

2 points

75.

Show HN: Spine – Verifiable audit logs with BLAKE3 and Ed25519

github.com/EulBite

5 months ago

2 points

76.

Show HN: ProofLoop – Autonomous long-running agents with verifiable completion

github.com/exiw-ai

5 months ago

2 points

77.

Show HN: VisiLens – Local-First and Fast Web GUI for VisiData

7 months ago

2 points

78.

Open source expert system with verifiable answers

github.com/nikolamilosevic86

a year ago

nikolamilosevic

2 points

79.

VerifAI – Generative Search/Productivity engine with Verifiable answers (star)

github.com/nikolamilosevic86

a year ago

nikolamilosevic

2 points

80.

A transparent, highly scalable and cryptographically verifiable data store

github.com/google

a year ago

2 points

81.

Show HN: Zeno – A framework for verifiable RL rewards (code, math, and more)

github.com/Think-a-Tron

a year ago

2 points

82.

VerifAI: Generative Search with Verifiable Answers you can easily deploy

github.com/nikolamilosevic86

2 years ago

nikolamilosevic

2 points

83.

ElectionGuard open-source homomorphic encrypted end-to-end verifiable voting

github.com/microsoft

6 years ago

2 points

84.

Trillian: Transparent,highly scalable and cryptographically verifiable datastore

github.com/google

7 years ago

2 points

85.

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

github.com/blockrand-api

5 months ago

rishi_blockrand

1 points

86.

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

github.com/88nonog-dev

3 months ago

1 points

87.

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

github.com/blockrand-api

5 months ago

rishi_blockrand

1 points

88.

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

github.com/croviatrust

7 months ago

1 points

89.

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

github.com/Ai-Hint

9 months ago

1 points

90.

RISC Zero MCP Server: Run Trustless and Verifiable Agentic Workflows

github.com/ronantakizawa

10 months ago

1 points