Stage 1 type-check + 200 ms @ViewBuilder gate + optional Stage 2 headless checks. Built for AI coding agents and Linux CI. Complements (does not replace) Xcode or on-device testing.
Built for AI coding platform runtimes (Cursor, Claude Code, Devin, Windsurf, Codex, Replit) and Linux CI runners. Eliminates blind iOS code generation on Linux containers by returning deterministic line- and column-exact JSON diagnostics in seconds.
For individual developers → · Read the architecture
Interactive Stage 1 snippet presets are inspectable directly in the diagnostic viewer on this page; live browser cloud sandbox is coming.
Example: CoffeeOrderBroken.swift: Stage 1 caught a Line 16 type mismatch plus a >200 ms @ViewBuilder expression in 184.2 ms on Linux.
.xcodeproj / scheme parsing.A deterministic 4-step compiler and headless runtime harness engineered for Linux agent containers and CI pipelines. Read the full technical architecture →
Darwin conditionals (#if os(iOS)) and entry-point attributes are rewritten horizontally in-place on the exact same line while preserving UTF-8 byte offsets and multiline string literals. Compiler diagnostics stay 100% line- and column-accurate (Delta_line == 0) against the agent's original file.
Links against our clean-room precompiled CiderFlightSDK.swiftmodule (17 frameworks + 56 module proxies + native SwiftSyntax macros @Observable / @Model) and runs Linux swiftc -typecheck with a 200 ms @ViewBuilder expression-complexity gate to catch exponential type-inference stalls before they hang an agent turn.
When Stage 1 passes with zero errors and zero slow expressions, CiderFlight compiles normalized code into a sandboxed Linux x86_64 ELF binary to execute headless assertions on @State / @Observable state transitions, in-memory SwiftData models, StoreKit 2 test-double transactions, %PDF-1.4 synthesis, and structural layout/accessibility trees.
Emits a deterministic JSON payload (file, line, column, severity, category, remediation, headless_runtime) consumed directly by MCP servers (verify_ios_swift, inspect_viewbuilder_complexity, snapshot_headless_layout), Linux CI gates, and autonomous coding loops.
CiderFlight is a fast Linux Stage 1 type-check and optional Stage 2 headless behavioral preflight engine—not a pixel-rendering iPhone emulator. Knowing exact boundaries prevents false expectations in production pipelines.
Clean-room Linux API surface shim compiled into CiderFlightSDK.swiftmodule + libCiderFlightSDK.a, plus 56 module re-export proxies and native SwiftSyntax macro plugins (@Observable, @Model):
Also covers CoreMotion and ReplayKit stub surfaces for multi-framework apps. See Docs → Framework Reference for per-module APIs.
.xcframework binaries or CocoaPods compiled exclusively for Darwin/arm64 without pure-Swift Linux sources.x86_64 Linux (Ubuntu 22.04 / 24.04, Python 3.10–3.13).For solo iOS engineers, verified .edu students, and small development teams (2–24 seats).
.edu email..edu email