The Z3 Theorem Prover

open-source sandbox execution environment for AI agents

A platform for building proxies to bypass network restrictions.

A Kubernetes deployable instance of GroundX for document parsing, storage, and search.

A middleware to provide an openAI compatible endpoint that can call MCP tools

A web based dashboard for your SST apps

A collection of guides and examples for the Gemini API.

The specification of the Model Context Protocol

📝 Read, update and write your Xcode projects

A curated list to learn about distributed systems

Any model. Any hardware. Zero compromise. Built with @ziglang / @openxla / MLIR / @bazelbuild

Scan for React performance issues and eliminate slow renders in your app

🔥 Open Source Browser API for AI Agents & Apps. Steel Browser is a batteries-included browser instance that lets you automate the web without worrying about infrastructure.

AeroSpace is an i3-like tiling window manager for macOS

A collection of MCP servers.

Documentation and best practices for using Cline

Run AI Agent in your browser.

Build AI Assistants with memory, knowledge and tools.

FalkorDB Typescript Client

⚡ Workflow Automation Platform. Orchestrate & Schedule code in any language, run anywhere, 500+ plugins. Alternative to Zapier, Rundeck, Camunda, Airflow...

Textbook on reinforcement learning from human feedback

FalkorDB-Browser is a visualization UI for FalkorDB.

Facilitate the creation of graph-based Retrieval-Augmented Generation (GraphRAG), seamless integration with OpenAI to enable advanced data querying and knowledge graph construction.

A fast multimodal LLM for real-time voice

📖A curated list of Awesome LLM/VLM Inference Papers with codes, such as FlashAttention, PagedAttention, Parallelism, etc. 🎉🎉