Raising the ceiling on what we can build.
Metacraft Labs creates the foundational deep-tech tools that augment human cognition — giving individuals and teams the leverage to understand, express, and prove systems whose complexity was previously intractable.
We build primitives because we’ve spent our careers hitting the limits of the old ones.
Our leverage comes from a deep understanding of the substrate — not wrappers on top of it. We build deep-tech because we’ve lived at the edge of what the previous generation of tools could do.
The power of abstraction and type systems
Extensive core contributions across the Nim compiler and ecosystem. We use radical expressive power to shift the cognitive burden of complexity from the engineer to the language itself.
Where correctness is the product
Years of Ethereum infrastructure and client development — high-assurance systems where being right is not a nice-to-have, it’s the whole job.
The machinery of provable software
Reproducible build environments, formal verification, and time-travel debugging — the instruments that make software provable, not merely tested.
One bet, in three moves.
Writing code is cheap now. Understanding it and trusting it is everything. Our products aren’t a catalog — they’re three stations of the same conveyor, and each one makes the others more credible.
Hot-code reloading in a highly controlled, safe environment. Modify software in real-time by simply describing what you want — reimagining computation as an interactive dialogue.
A live programming canvas where visual inputs and source code seamlessly blend together. Make the invisible transparent by interacting with live data and stepping through execution histories at machine scale.
Correctness enforced at every boundary. From formal verification and mathematical proofs at compile time, down to the bit-for-bit attestation of the final deployed artifact.
Products, not a portfolio.
Each one stands on its own and carries its own brand. Metacraft Labs is the engineering behind them.
CodeTracer
OSS core + licensedBuilt on complete execution traces. Record everything your program did, then step through it like a video — the environment for understanding software in the AI era.
Visit codetracer →GRIP
LanguageA programming language designed for the creation of perfect software. Most bugs are eliminated at compile time through extreme metaprogramming power and formal verification.
Explore GRIP →IsoNim
Apache-2.0Eliminate the cognitive tax of context-switching. One language and one reactive type system, shared seamlessly across client, server, and native backends.
Explore IsoNim →VivaFolio
Live CanvasA live, reactive programming environment where interactive visual editors coexist seamlessly with source code. Real-time edits instantly bridge the gap between visual intent and underlying code.
Explore VivaFolio →Reprobuild
AttestationProve the artifact you ship is bit-for-bit the source that was reviewed and audited — the wedge that turns “trust us” into a verifiable fact.
See Reprobuild →CRA Compliance
ComplianceA vertically-integrated offering — verifiable SBOMs, a managed PSIRT, and the attestation to back the paperwork, priced against the work, not the fear.
See the offering →Agent Harbor
Parallel, isolated agent orchestration. A third-party system seamlessly integrated with our toolchain, providing the secure, isolated environment needed to unleash autonomous agents on complex software tasks.
Visit Agent Harbor →Built to outlive us.
The honest risk of a small deep-tech company is that it disappears. So we design against it. Your data and your workflow outlive any product decision we make — or any decision made for us. That isn’t a hedge; it’s the point.
The oldest craft, at its newest frontier.
Toolmaking is how humans exceed their natural limits. Yesterday our leverage came from the language — abstraction expressive enough to do the remembering. Today it comes from augmenting human cognition. By shifting the burden of memory, comprehension, and proof to the machine, we allow builders and teams to construct systems whose complexity would otherwise shatter the limits of the human mind. We practice the oldest craft at its newest frontier: building the instruments for thought that improve the making of tools.
Let’s build something that outlives us.
Products, partnerships, or a hard problem in languages, program comprehension, or verifiable builds — tell us what you’re trying to make possible.