Start with the contract
Help build Mira.
Mira is at the research and formal-specification stage. Bring a workload or an engineering review as we prepare the foundation and resource model for implementation.
Inspect the specification status
The current formal work covers the inherited foundation, six resource families and composed system behavior. The public snapshot distinguishes authored files from completed verification and implementation.
The earlier Phase 01/02 download belongs to a superseded plan. A replacement source bundle has not been published here; contact the founder to coordinate review of the current models.
One complete phase at a time
First, finish the foundation contract and its required design checks, then adopt and refactor the actual Zig implementation with its dependencies, tests, clients and operations. Check behavior against independent predicates and retain the exact source-to-evidence mapping.
Resource implementation follows acceptance of that entire foundation. Passing one subsystem or test campaign does not close a phase; all required obligations must have matching evidence.
A Zig foundation. A planned client ecosystem.
The adoption plan includes the actual C ABI and .NET, Go, Java, Node.js, Python, Ruby and Rust client mechanisms. Node.js covers JavaScript and TypeScript. These still need adaptation and qualification for Mira's resource API.
Retry identity, cancellation, unknown outcomes, batching, memory ownership and version compatibility must have explicit contracts across clients. No Mira production SDK is released yet.
Bring a concrete problem or a careful review
Useful contributions include resource semantics, adversarial failure cases, storage and replication review, trace instrumentation, workload design and future SDK integration. Contact the founder to coordinate work against the current phase.
Help shape what comes next.
Talk to the founder