The Honey Badger of BFT Protocols

Extra libraries and examples for libfreenect, especially high level processing, vision, and visualizations

An authenticated data structure based on a red-black tree.

authenticated data structures, generically

No repository description provided.

Super Amazing Universal Composability, Yeah!

No repository description provided.

A toy bitcoin peer. Connects to testnet, shakes hands, reacts to pings, asks for pongs.

Off-chain poker in Ethereum

Generalized Authenticated Data Structures

Good Riddance to EPID Pre-Deprecation Memorial Contest

No repository description provided.

Distributed Key Generation in the Wild (from https://crysp.uwaterloo.ca/software/DKG/ )

No repository description provided.

Systematizing Knowledge about Bitcoin

No repository description provided.

algorithms and models of computation in fstar

Public automated registry of TEE-verified inference providers — L2Beat for private AI

No repository description provided.

Containerized agent browser for harvesting scholarly PDFs (ePrint, etc.) past Cloudflare: Brave + minimal control extension + noVNC + xdotool

Human-approved secret management and execution sandbox for OpenClaw agents

Bitcoin integration/staging tree

guide for making dstack apps that reach "stage 1 devproof"

Dynamic capability delegation for AI agents: mint narrow, expiring, revocable capabilities at dispatch time; subagents hold only a token

durable project hosting via dstack

No repository description provided.

No repository description provided.

No repository description provided.

No repository description provided.

tech demo

examples and utilities of Dstack applications

No repository description provided.

No repository description provided.

TEE-attested E2EE model-provider plugin for hermes-agent (NEAR AI + Redpill/Phala)

Battleship on Stoffel MPC: board-validity proof in-circuit, plus an MP-SPDZ bake-off of the same protocol

Hermes agent TEE deployment config + socket proxy

**TEE-based AI agent negotiation protocol. Two Claude agents negotiate private data access inside a Confidential VM (dstack/Intel TDX), with smart contract payment release on cryptographic agreement. Built on NDAI Agreements + Props for ML Security (IC3 2025).**

No repository description provided.

A repo that reviews its own PRs and proposes improvements to itself 🐍

No repository description provided.

No repository description provided.

No repository description provided.

AZTEC protocol trusted setup MPC

No repository description provided.

No repository description provided.

An interactive Google Meet participant built on Vexa: speaks, chats, reacts, draws its own camera feed, and shares a screen — plus the test harness and the measured findings

Make The Butterfly Effect playable by a program: headless runs, the game's own referee, and a harness that is honest about what it does not know

Witnessed agent sessions: relay an AI agent's API calls through a TEE, commit to the exact bytes, and prove what you spent without showing the transcript.

Stoffel MPC committee running attested inside Intel TDX CVMs on a dstack pod — attestation gate, deployment recipe, and the four faults that made it look deployed while it wasn't

Smithers orchestrator experiments — Mandelbrot viewer, WebGL baseball game, and other toy workflows

An encumbered LLM agent: arena session token held inside a TEE, every action gated by a policy constant in the attested source.

GUI->spec->TUI parity harness for Syncthing + swarm-built reference TUI (method credit: Evan)

Session 3 slides — Theories of Communalism I (Agrarian Industrial Commune course)

No repository description provided.

No repository description provided.

Import Otter.ai transcripts to TinyCloud — via a raw cookie or an OAuth3 scoped token (no cookie)

The TinyCloud Javascript SDK includes client libraries for node, browser, and CLI. These clients have built in tools for authentication, authorization, and capability delegation with TinyCloud

No repository description provided.

Realtime cue engine for AI-assisted performances, presentations, and interactive spaces

No repository description provided.

CUA BuyerSim for founder narratives

No repository description provided.

The awesome collection of OpenClaw skills. 5,400+ skills filtered and categorized from the official OpenClaw Skills Registry.🦞

No repository description provided.

No repository description provided.

local first and private by default transcription tools with ✨ fun features ✨

The agent that grows with you

No repository description provided.

Context Engine for your long-running AI agents

NEAR AI Cloud Verifier

Test container deployments probing the Tinfoil-Containers backdoor surface — companion to the tinfoil-confidential-containers DEVPROOF report.

No repository description provided.

No repository description provided.

No repository description provided.

No repository description provided.

Temporary reverse proxy for dstack-webhost (tee-daemon)

No repository description provided.

Log in with Anything — authenticate via rhythm on any web service, attested by GitHub Actions

Open Framework for AI Agents to play Red Alert through Reinforcement Learning

Formalizing ADS security via internal parametricity (Cubical Agda + agda-bridges)

No repository description provided.

No repository description provided.

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

Verify agent skills in isolated Docker containers with TEE attestations

Live examples of Inspection Certificates - verifiable proof for skills, data, and credentials

No repository description provided.

No repository description provided.

dstack application for proving you have access to an email address

Anonymous journal for Claude voices - MCP server for shared reflections

No repository description provided.

⚗️ End-to-end verifiable TEEs

No repository description provided.

MCP server for dynamic, client-programmable tools

mcp server with tools for logging context/insights

No repository description provided.

No repository description provided.

No repository description provided.

No repository description provided.

Collection of prototype standalone projects that have to do with what we work on internally.

A development framework for Ethereum