bendlang / bend

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

FailproofAI / failproofai

Observability and enforcement for AI agent harnesses. Capture every run and runtime reliability with policy enforcement.

altcha-org / altcha

GDPR, WCAG 2.2 AA, and EAA compliant, self-hosted CAPTCHA alternative with PoW mechanism.

ChainSafe / lodestar

🌟 Ethereum Consensus client for the Zig and TypeScript ecosystem

reticlehq / reticle

AI agents can generate code, but still struggle to understand what they build. Reticle brings Jev-style machine-native runtime perception to web & desktop applications.

semaphore-protocol / semaphore

A zero-knowledge protocol for anonymous interactions.

Brainicism / bgutil-ytdlp-pot-provider

Proof-of-origin token provider plugin for yt-dlp

ReyJ94 / SceneProof

The visual layer of your agent harness. Renders React components and Three.js scenes from source, with structure and evidence behind every frame — so agents can see, verify, and fix what they built.

JoviDeCroock / stableref

Proof-carrying referential stability for React and Preact

pascalkienast / understandproof

Proof of Understanding. Starting with GitHub: show that you understand the change before it merges.

TheVicky1 / Pact_OS

Personal Productivity & Accountability OS -Turn Intent Into Discipline with server-authoritative commitments, time-blocked planning, and proof-of-work verification.

schalermthai / redproof

Redproof: A Guardrails Harness for those who have trust issues.

l0gfr / BLACKPROOF-AGPL

BLACKPROOF: local-only cyber evidence preparation and verification, licensed under AGPL-3.0-only.