Pinned Loading

1. warp-engine warp-engine Public

   Warp Terminal Agent lets you create and orchestrate AI agents with a single prompt, then deploy them as local binaries to streamline your workflow. Make AI practical, fast, and effortless—perfect f…

   Python 4

2. Mermate Mermate Public

   AI architecture copilot for Mermaid, built to turn raw ideas into expert system diagrams. Works with any LLM; initially designed for gpt-oss-20b

   JavaScript 3 2

3. synth synth Public

   AI-assisted prediction market desk

   TypeScript 1 1

4. snarkOS snarkOS Public

   Forked from ProvableHQ/snarkOS

   A Decentralized Operating System for ZK Applications

   Rust

5. Specula Specula Public

   Forked from specula-org/Specula

   Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code

   TLA 1