Axint
A verification layer for AI coding agents working on Apple projects: it runs real Xcode builds and tests against the Swift an agent wrote, reconciles static analysis findings against that evidence, and returns a signed proof with the exact repairs still needed.
Axint checks Swift code an AI coding agent produced by combining static analysis with Apple's own tooling. Static checks identify candidate issues in SwiftUI state, App Intents, Siri and Shortcuts metadata, widgets, entitlements, privacy declarations, and concurrency; the actual Xcode build and test run then confirms, contextualizes, or suppresses each one, classified as confirmed, probable, advisory, or suppressed.
Running axint prove against a project directory discovers the Xcode project and scheme, runs the available build and tests, and writes proof artifacts under .axint/proof. When a failure needs another turn, it returns a compact Fix Packet naming the likely files and the exact next action, plus a source-free signed receipt.
The default local run needs no account, does not upload source, and does not modify the project itself.