The first AI that can earn its own existence, replicate, and evolve — without needing a human

Opinionated defaults, documentation, and workflows for Claude Code at Trail of Bits

Curated, community-vetted Claude Code plugin marketplace

Smart contracts, tools, and skills for AI agents that transact on Starknet

oat provides a simple cli way to deploy consistent agentic rules across the organization

A theory that unifies quantum mechanics with gravity. Predicts exactly our Universe up to isomorphism from two config variables and four axioms.

Static Analyzer for Solidity and Vyper

The open source coding agent.

The Missing Piece in the Internet’s Payment Infrastructure

The beautiful & flexible React.js docs framework.

cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes

STARK verifier written in SimplicityHL language

A payments protocol for the internet. Built on HTTP.

Bitcoin ZK client written in Cairo.

A Python implementation of Physics Informed Neural Networks for Black-Scholes Model

MarkLLM: An Open-Source Toolkit for LLM Watermarking.（EMNLP 2024 System Demonstration)

Example Notebook for Synthetic User Research with Persona Prompting and Autonomous Agents

🐙 Guides, papers, lessons, notebooks and resources for prompt engineering, context engineering, RAG, and AI Agents.

The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power

Proving System For VEX

Experimental folding schemes library

Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.

A set of exercises to get started with Cairo0

A curated list of watermarking schemes for generative AI models

A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs

GitHub Action for continuous benchmarking to keep performance

Nostr x STARKs exploration project.