Lists (7)
Stars
TradingAgents: Multi-Agents LLM Financial Trading Framework
Model Context Protocol Servers
Context7 MCP Server -- Up-to-date code documentation for LLMs and AI code editors
Rules and Knowledge to work better with agents such as Claude Code or Cursor
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
Alpenglow: Global High-Performance Proof-of-Stake Blockchain with Erasure Coding
Related code to the research paper "Fast elliptic curve scalar multiplications in SN(T)ARK circuits"
IDL Guesser is an open-source tool that automatically recovers the IDL information from closed-source Anchor-based Solana programs.
Hardware Compatibilty List for running a Solana Mainnet Validator
Create Solana programs with no dependencies attached
The official Rust SDK for the Model Context Protocol
FULL v0, Cursor, Manus, Same.dev, Lovable, Devin, Replit Agent, Windsurf Agent, VSCode Agent, Dia Browser, Trae AI & Cluely (And other Open Sourced) System Prompts, Tools & AI Models.
ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs
On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!
Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
A Rust-based end-to-end demo on Confidential Transfers
Bitcoin Esplora API client library. Supports plaintext, TLS and Onion servers. Blocking or async.
zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the…