Automatically prove mathematical statements about your jax code in lean

AI agents running research on single-GPU nanochat training automatically

A bridge between Streamable HTTP and stdio MCP transports

MCP server for Obsidian CLI integration

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

Miles is an enterprise-facing reinforcement learning framework for LLM and VLM post-training, forked from and co-evolving with slime.

SGLang is a high-performance serving framework for large language models and multimodal models.

The official CLI for the X API

Tusk Drift Demo - Node.js Service

Node.js SDK for capturing and replaying API calls made to/from your service

Automated testing suite with live traffic record and replay

unifai-sdk-js is the Javascript/Typescript SDK for Unifai, an AI native platform for dynamic tools and agent to agent communication.

unifai-sdk-py is the Python SDK for Unifai, an AI native platform for dynamic tools and agent to agent communication.

Repository for profiling the Anchor framework

TypeScript SDK, CLI, and dashboard for creating and managing Token-2022 tokens on Solana

how to implement custom syscall on solana validator ?

Prompts for our Grok chat assistant and the `@grok` bot on X.

The SPL Token 2022 program and its clients

Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors

Ed25519 signature verification for Solana programs

🌊 The original agent meta-harness. Deploy intelligent multi-player swarms, coordinate autonomous workflows, and build conversational AI systems. Features adaptive memory, self-learning intelligence…

Sample MCP server for deep research

Easily spin up an MCP Server on Next.js, Nuxt, Svelte, and more

SVM program test harness