Lab

Small experiments before they become projects.

A clean holding area for APIs, visualizers, snippets, and tools. Mature experiments can graduate into full project case studies later.

swetank@lab:~$ scan --experiments
particles: online
proof-trails: pending
utilities: staging

active

API explorer sandbox

A future space for API demos, local query tools, and request/response notes.

planned

Small SVA examples, counterexample notes, and proof pattern experiments.

planned

Tiny tools that are useful enough to keep but not large enough for a standalone product.