Axint is the proof and repair layer for Apple coding agents.
Axint checks the Swift your agent wrote, runs the real Xcode build and tests,
reconciles findings with Apple tooling, and returns signed proof with the exact repairs to make next.
No project rewrite. No source upload.
Prove a project · Try in browser · Read the docs · Explore examples · Join the community
npx -y -p @axint/compiler axint prove --dir /path/to/MyAppThe default proof run is local, source-free, and non-destructive. It requires no account, does not change Swift, and keeps complete build and test artifacts on disk while returning a compact receipt for the next repair turn.
| Surface | Role in the proof loop |
|---|---|
| Check | Classify findings as confirmed, probable, advisory, or suppressed |
| Run | Orchestrate resumable Xcode build, test, runtime, and .xcresult evidence |
| Generate | Compile smaller contracts into inspectable Apple-native capabilities |
| Team | Preserve context, file claims, repair packets, and agent handoffs |
| Cloud | Provide hosted checks and shared proof history when local tooling is unavailable |
- Compiler truth over confident heuristics. Apple evidence can confirm, contextualize, or suppress a finding.
- Local-first trust. Source stays on the developer's machine unless a hosted workflow is explicitly chosen.
- Small agent context. Receipts carry verdicts, stable findings, and exact next actions instead of full logs.
- Inspectable output. Generated Swift and proof artifacts remain ordinary files that teams can review and own.
- Respect for existing projects. Checks abstain where evidence is incomplete, and mutations require explicit opt-in.
The highest-value contributions improve existing-project precision, Xcode evidence, Apple API coverage, repair quality, and reproducible proof examples.
Good first issues · Help wanted · Contribution guide · Examples
Cupertino, CA · axint.ai · agenticempire.co · X
