Intent-driven computing

Build autonomous systems you can trust
at the speed of thought

Describe what you want. mashin figures out how to do it. 30 lines instead of 2,000. Every action governed, recorded, auditable.

Try Your First Machine The mashin Way

Machines you can build today

Each machine is a calm, focused unit of intelligence. Describe what it should do. The runtime handles authorization, execution, and recording.

Morning Brief

✓ Calendar analyzed

✓ Inbox prioritized

✓ Meeting prep generated

✓ Audio briefing prepared

4 intents · 3.2s · $0.02

Email Triage

✓ 12 emails classified

✓ 3 tasks created

● 1 reply held for approval

✓ 2 escalated to Slack

8 intents · 5.1s · $0.04

Meeting Prep

✓ Recent emails gathered

✓ Open tasks collected

✓ Customer brief prepared

✓ Talking points generated

6 intents · 4.8s · $0.03

Audio Briefing

✓ 5 feeds fetched

✓ 23 articles summarized

✓ Audio generated (4:32)

✓ Delivered to device

12 intents · 8.3s · $0.06

The end of effect choreography

Before mashin

orchestration framework setup

tool wrapper functions

retry logic + backoff strategy

API key vault + rotation

permission middleware chain

audit log instrumentation

tracing + observability pipeline

content filter wrappers

Dockerfile + CI/CD pipeline

error recovery choreography

~2,000 lines. The intelligent part: 50.

With mashin

machine email_triage

  accepts emails

  ensures

    allowed to reason, read_email

    requires approval for send_email

  implements

    ask classify

    decide route

    ask draft_reply

30 lines. Ship with mashin launch

Before mashin
With mashin
orchestrating tools
expressing intent
effect plumbing
semantic execution
bolt-on governance
structural mediation
unreadable workflows
operational clarity
fragile automation
governed autonomy

Write. Run. Ship.

Three commands. Zero infrastructure. From idea to production in minutes.

1

Write

mashin new email-triage

Describe your intent in mashinTalk. Or ask Koda to build it for you.

2

Run

mashin run email-triage

Execute locally. See every step, every governance decision, every cost.

3

Ship

mashin launch

Live on your Kortex. Accessible from any device. One command.

machine emailTriage "Email Triage"

  accepts
    email as text, is required

  responds with
    urgency as text
    category as text
    action as text

  implements
    ask classify, using: "claude-sonnet"
      with role
        "You are an email triage specialist."
      with task
        "Classify this email by urgency (high, medium, low) and category (technical, billing, general). Recommend an action (escalate, respond, archive).\n\nEmail: ${input.email}"
      returns
        urgency as text
        category as text
        action as text

    decide route
      when context.classify.urgency == "high"
        then "escalate"
      otherwise
        then "archive"

Every ask produces an intent. The runtime mediates it. The ledger records it. You read the code and understand what it does.

Express intent. The runtime governs execution.

Programs produce intents, not effects

Every action begins as a structured proposal. The runtime evaluates it against your policies, records the decision, and only then executes. No bypass path exists.

Audit and replay are native

Every intent produces a decision record in a tamper-evident ledger. Replay historical actions against new policies. Complete by construction, not by instrumentation.

Express intent, not implementation

Describe what should happen. The runtime handles authorization, recording, and execution. Readable by humans, executable by systems, governable by construction.

The platform

mashin

The app. Desktop, web, iOS. Write machines in Koda, the intelligent development environment. See every step, every decision, every cost.

Learn more →

cell

Your runtime. Runs on your laptop, a Mac Mini, Docker, the cloud, or self-hosted. Your data, your models, your governance. Same binary everywhere.

Learn more →

kortex

Your network. Connects all your cells, devices, and cloud. Laptop, phone, Mac Mini, cloud cells. mashin launch and it's live everywhere.

Learn more →

kura

The registry. Publish, discover, and install machines. 6-level verification. 388 stdlib machines included.

Learn more →

Formally verified governance

Kore is the governance kernel, extracted from 454 machine-checked Rocq theorems with zero admitted lemmas. 12,227 lines of proof. Every governance decision in production runs through proved code.

454 theorems | 0 admitted | 36 modules | ~5 us/call
View proofs on GitHub →

Coming soon

Get early access

mashin is in active development. Join the list to get early access to the developer release, research updates, and the first public machines.

No spam. Just the launch announcement and occasional research updates.