Pythonic Lido Oracle daemon

op-stack state(less) transition in an AWS Nitro enclave

Trade autonomously on Polymarket using AI Agents

Amazon Bedrock Agentcore accelerates AI agents into production with the scale, reliability, and security, critical to real-world deployment.

FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, Leap.new, Lovable, Manus, NotionAI, Orchids.app, Perplexity, Poke, Qoder, Replit, Same.dev, Trae, Traycer AI…

MEV-Boost Relay for Ethereum proposer/builder separation (PBS)

Smart contracts that powers the PoS (proof-of-stake) based bridge mechanism for Matic Network

Lean Algorithmic Trading Engine by QuantConnect (Python, C#)

Ethereum end-to-end test harness

Quicksilver

Cortex - AI on Blockchain, Official Golang implementation

The smart contracts and reference client behind the Threshold Network

A bridge demo between Cosmos and Ethereum using IBC and LCP

A curated list of zkVM, zero-knowledge virtual machine

DeepAudit：人人拥有的 AI 黑客战队，让漏洞挖掘触手可及。国内首个开源的代码漏洞挖掘多智能体系统。小白一键部署运行，自主协作审计 + 自动化沙箱 PoC 验证。支持 Ollama 私有部署 ，一键生成报告。支持中转站。​让安全不再昂贵，让审计不再复杂。

SSV Network's smart contracts

Everything required to run your own Base node

ZeroOS: A Universal Modular Library OS for zkVMs

Prover Manager

Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

An open-source, code-first Go toolkit for building, evaluating, and deploying sophisticated AI agents with flexibility and control.

🎯 告别信息过载，你的 AI 舆情监控助手与热点筛选工具！聚合多平台热点 + RSS 订阅，支持关键词精准筛选。接入 MCP 架构，赋能 AI 自然语言对话分析、情感洞察与趋势预测。支持 Docker 一键部署，数据本地/云端自持。集成微信/飞书/钉钉/Telegram/邮件/ntfy/bark/slack 等渠道智能推送。⭐

Spartan: High-speed zkSNARKs without trusted setup

Libraries for finite field, elliptic curve, and polynomial arithmetic

Benchmarks of popular zkVMs including Jolt

A Rust library for polynomial commitments

The absolute trainer to light up AI agents.

A payments protocol for the internet. Built on HTTP.