Structural soundness analysis for bpmn-react: deadlock/livelock/dead-branch detection over the process graph (O(V+E), no state-space search), delivered as plugin-compatible validation rules. Zero runtime dependencies.

Static soundness analyzer for o1js / Mina zkApps and Noir circuits

A JS/TS runtime with soundness-gated AOT native compilation. Workers-style self-hosting, Node/Bun API compat, embeddable in Go. CLI distribution.

Delightful mocks for JavaScript and TypeScript.

A verification toolchain for TypeScript — generates Lean 4 or Dafny from annotated TS

Native (napi) engine for svelte-shaker: parses with rsvelte and runs the whole-program shake (a long-lived ShakeSession) in-process, so no AST crosses the JS boundary.

Adds pattern matching, optional properties, and several other helpers and types, to io-ts.

Platform-owned validator for BPM content repos — bpmiq.yml discovery + BPMN structure and BPMNDI coverage. Runs against any checkout via --root; never executes content-repo code.

A Circom testing & development environment

[Optimism] token list

Engine-free, offline verifier for PrivHaven compliance reports. Confirms a report against your own copy of the file using public algorithms only. No PrivHaven engine, no upload.

Headless governed-AI copilot layer (Handoff 9 CP-1): the HOST-injected AIProvider contract, proposal parsing/validation into whitelisted ProposedCommand[] (unknown command → INTEGRAL rejection, never partial application), one undoable composite plan, and

Services for Recurrent Text-related Tasks

SYW Waffle AIron — CLI for managing AI coding agent topology across projects

[](https://doi.org/10.5281/zenodo.15501897) [](https://www.npmjs.com/package/code-health-meter)

Exact, conditionally-sound symbolic algebra engine for manipulative interfaces: immutable expression trees, rewrite rules with first-class assumptions, derivation trees, move enumeration, and DOM-free layout geometry.

Model Context Protocol (MCP) server for ArchLang — compile, describe, lint, validate, score, repair, fix and suggest floor plans over stdio, plus the intent channel (gate + continuous score against a brief). Covers the whole current language: multi-storey

A harness-agnostic, evidence-gated agent orchestra for autonomous ticket delivery (orchestrator + executor + evaluator + cold skeptic). Renders into Claude Code and OpenAI Codex from one neutral core.

Shared TypeScript, Oxlint, and Oxfmt presets.

Textbook for introductory logic course.