DIRA▮

When one thing moves, protect the promises connected to it.

A professor moves your midterm two days earlier. Suddenly your interview is too close, your study time is gone, and a teammate is waiting on work you can’t do. Dira checks the commitments and dependencies you have reviewed, then proposes a feasible repair within limits you set. It prepares updates for the people affected, with drafts only by default.

Owner pilot · Google sign-in

The demo is a synthetic student week with a simulated calendar and mailbox. It needs no account and cannot contact real people.

Scheduled checks for sources you opt into

Gmail, Google Calendar and course deadline feeds each have their own permission. Background checks require owner opt-in and deployment enrollment; they are not enabled by connecting an account. Dira keeps a graph of what you promised and what depends on what.

Nemotron proposes. Code decides.

NVIDIA Nemotron models on Nebius Token Factory read the change and propose repair plans. Deterministic code checks every plan for feasibility, provenance and policy, and you approve anything sensitive. No model output can authorize an action.

Your corrections become your rules

Reject or edit a step and Dira suggests a rule. Confirm it and it is committed to a private Git repository you can export, with a reusable Skill for an optional Hermes companion. The owner runtime is a separate enrollment step.

What the model may and may not do

Nemotron proposes

  • Commitment drafts from your calendar, email and feeds (Nano)
  • How an email changes an existing commitment (Super)
  • Typed links between commitments and repair plans (Ultra)

Deterministic code decides

  • Whether a plan is feasible and leaves enough slack
  • Whether every action cites a stored fact, and who may be contacted
  • What runs, what waits for you, and whether each change really happened

You stay in charge

  • Drafts only until you allow sending
  • Fence a calendar, your inbox, or a contact
  • Export or delete everything at any time

Engine proofs, including the deterministic replay, the 20-run reliability check and the variation matrix, are on the Evidence page.