The work

One foundation,
many constructions.

Everything we make stands on Tarski, our flagship platform: logic programming brought into everyday software, so mathematical guarantees run beneath every application above.

iThe foundation

⊢ Flagship platform

Tarski

The agent-native platform for verifiable backends

Software is collapsing into a short pipeline: intent in, running system out. Tarski is the layer in between that a human can still check. Behaviour is written as Scenarios, hard limits as named invariants, and every effect carries provenance, all enforced by a deterministic logic engine. You approve the contract and its evidence, never ten thousand generated lines.

The Tarski language is deliberately not Turing-complete: small enough to verify, expressive enough to run a business. A model may propose; only the engine admits, so a violating transition is never merely flagged for review. It cannot happen. This is the ground every construction below stands on, and its guarantees are what they inherit.

Visit Tarski
iiThe constructions
TruepennyConsider it handledAn AI teammate for small businesses: replies, quotes, bookings and invoice chasing, handled in the background. Anything that really matters waits for your OK, and everything it does lands on a record it cannot edit or delete. Not won’t; can’t.Stella LoopAgent-native project managementDevelopment is a loop, not a line. Stella Loop points every human and coding agent at a shared North Star, runs the work in loops of analysis, proposal and delivery, and shows after each pass whether the product actually got better.JacqOSAgents propose, JacqOS provesA mathematical boundary between AI reasoning and real-world action. Agents reason freely inside a secure inner world, every proposal is tested against named invariants, and an action that would break your rules cannot execute. Violations don’t happen; they can’t.TornoGrowth work that returnsThe agent-native system of record for growth: one loop from signal to shipped change to honest readout. Agents do the operating; you govern what ships, spends and publishes. Every turn comes back knowing more.

⊨ one foundation, many constructions · the guarantees run all the way down.

Build on
solid ground.

If you’d like to build with us, or on what we’ve built, we’d love to hear from you.

Write to us