AI writes code.
You define the rules.

domain UserService {
  behavior RegisterUser {
    input { email: Email, password: String }
    output {
      success: { user: User }
      errors { EMAIL_EXISTS, WEAK_PASSWORD }
    }
    preconditions {
      not User.exists(email)
      input.password.length >= 8
    }
    postconditions {
      success implies User.exists(result.user.id)
    }
    temporal { response within 500ms (p99) }
  }
}

Write intent specs

Define what your code must do — preconditions, postconditions, invariants, timing constraints — in ISL. No boilerplate.

Shipgate verifies

The gate command generates and runs behavioral tests against your actual implementation. No manual test-writing.

Get a verdict

SHIP, WARN, or NO-SHIP with a trust score, evidence trail, and per-file breakdown. Block bad AI code in CI.