Mischief Dev
LLC
We build software that's proven correct under failure.
Most software asserts its rules in code review. We prove ours — machine-checked under crashes, partitions, and disk corruption, before anything ships.
What we believe
Three principles, applied without exception.
Correct by construction
Business rules are invariants, not comments. We generate the state machine from the specification and fuzz-prove the rules hold before deployment — not after an incident.
Deterministic core, side-effect shell
All state transitions live in a deterministic, replayable core. Email, APIs, and everything flaky stays at the edge — so every execution can be reproduced byte for byte.
We dogfood everything we ship
This company runs on the stack we sell — down to keeping our own books on a TigerBeetle ledger. If it isn't good enough for our accounting, it doesn't ship.
How we work
A small studio with a narrow, deep focus.
Verified workflow engines
Long-running business processes as fault-tolerant state machines — specified in English, compiled, and fuzz-proved before they touch production.
Protocol-native agentic systems
Agent infrastructure built on open protocols like MCP — tools and services that AI systems can drive safely, with auditable state behind every action.
Ledger & financial-grade state
Double-entry, debit-credit-native state on TigerBeetle. We keep our own books this way — every balance auditable, every entry immutable.
Have a process worth proving?
If your workflows can't afford to be wrong — payments, compliance, operations — we should talk.
hello@mischief.dev