architect on canvas. your agents write the code.

stokes is an integrated storage pipeline studio and cross-compiler verification system. it lets you visually redesign schemas, caches, and queues on a continuous canvas while orchestrating AI agents across SQL, Python, and Rust, paired with a deterministic CLI that verifies memory bounds and cross-language invariants in CI.

stokes is an active visual studio and code synthesis engine, not a passive linter. single-language linters (like sqlfluff or mypy) only inspect syntax within their own silo. when you add a ClickHouse column, introduce a KV cache, or rewire an ETL stage in stokes studio, stokes synthesizes verified unified diff patches and dispatches them across Claude Code, Bob, Aider, or MCP IDE agents to synchronize your SQL migrations, Python data contracts, and Rust fixed-capacity buffers. the CLI then provides deterministic verification in CI so uncommitted mismatches never reach production.

stokes studio is an interactive visual modeler and architecture canvas for storage pipelines. it lets you visually map ClickHouse DDL schemas, Python ETL pipelines, Quicksilver KV meshes, and Rust reverse proxies onto a continuous 2D canvas, computing cross-boundary cardinality risk ratios and synthesizing synchronized code in real time.

the Cloudflare Nov 18, 2025 outage happened because sqlfluff, mypy, and rustc all passed individually, but nobody checked that a schema change pushed 280 features into a buffer sized for 200. stokes prevents this at both design time and CI: on the studio canvas, it recalculates cardinality risk ratios in real time and automatically bounds Rust dual-zone buffers when schemas expand; in CI, stokes verify checks cross-language invariants so single-compiler blind spots never reach production.

stokes features an agent-agnostic provider bridge and native Model Context Protocol (MCP) server. while built with IBM Bob 2.0 during development, stokes in production supports Claude Code, IBM Bob 2.0, Aider, Goose, OpenHands, generic CLI tools, and direct patch emission. In IDEs like Cursor and Windsurf, stokes runs as an MCP server (via stokes mcp) exposing real-time invariant analysis directly to your assistant.

the 7.66 ns number is the time it takes to partition features using in-place selection on a fixed stack buffer. the comparison (29.74 ns for heap vectors) shows why stokes uses a stack-allocated approach: it is 3.88x faster and does not allocate any heap memory, which matters when you are processing packets at line rate.

when stokes finishes a scan, it writes a lockfile (stokes.lock) with SHA-256 hashes of every boundary-critical file. in CI, `stokes verify --strict` re-checks those hashes and fails the pipeline if someone changed a schema or buffer size without re-running the full verification. it also writes a human-readable CONFORMANCE.md for code review.