Popular repositories Loading

1. kenosian-lean4 kenosian-lean4 Public

   K-Lean: 64 machine-verified contracts for computational biology (Lean 4, sorry-free)

   Lean 4

2. Awesome-Prediction-Market-Tools Awesome-Prediction-Market-Tools Public

   Forked from aarora4/Awesome-Prediction-Market-Tools

   A curated list of Prediction Market Tools - AI Agents, Analytics, APIs, Dashboards, Copy Trading, Alerting, Tracking and More!!

3. langchain langchain Public

   Forked from langchain-ai/langchain

   The agent engineering platform

   Python

4. eliza eliza Public

   Forked from elizaOS/eliza

   Autonomous agents for everyone

   TypeScript

5. x402 x402 Public

   Forked from x402-foundation/x402

   A payments protocol for the internet. Built on HTTP.

   TypeScript

6. awesome-mcp-servers awesome-mcp-servers Public

   Forked from punkpeye/awesome-mcp-servers

   A collection of MCP servers.