agenticempire/axint

AI wrote the Swift. Prove it builds before you merge.
A proof gate for AI-written Swift in your PR or CI pipeline.
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 ·
GitHub Actions setup ·
Try Cloud Preview ·
Connect an agent ·
Docs ·
Examples ·
Contribute
Local by default. Open source. Ordinary Swift.
A plausible patch is not proof.
Apple software is a graph of contracts. SwiftUI state, App Intents, Siri and
Shortcuts metadata, widgets, entitlements, privacy declarations, concurrency,
build settings, tests, and runtime behavior all have to agree. Code that looks
right can still fail to compile, miss an interaction, or violate a platform
contract.
Axint puts static analysis and Apple tooling into one repair loop. Static checks
identify leads; Xcode build and test output can confirm, contextualize, or
suppress them. The result stays compact enough for the next agent turn while
full logs and artifacts remain on disk.
| Evidence class | What it means |
| -------------- | --------------------------------------------------------------------------------------------------------------------------- |
| **Confirmed** | Deterministic analysis or matching compiler, build, or test evidence supports the finding. |
| **Probable** | Strong static evidence identifies a likely problem, but decisive Apple-tooling evidence is incomplete. |
| **Advisory** | A heuristic identifies a quality, accessibility, privacy, interaction, design, or runtime concern for review. |
| **Suppressed** | Stronger evidence or a project-local review contradicts the finding; it remains in the receipt without blocking the result. |
Prove an existing project
Axint discovers the Xcode project and scheme, checks existing Swift, runs the
available build and tests, reconciles the findings, and writes proof under
.axint/proof.
The default local run requires no account or configuration. It does not change
Swift, upload source, install project instructions, install memory or MCP
configuration, apply fixes, or rewrite the project.
When a failure needs another turn, Axint returns a
**Fix Packet**: a compact repair artifact with the finding,
likely files, exact next action, and rerun command. It also writes a
**source-free receipt**: a signed proof file containing evidence, results,
hashes, and repair information without project source.
--fix opts into supported deterministic rewrites and reruns the proof loop.
Receipt verification checks payload integrity and the embedded Ed25519 signer.
A locally signed receipt does not establish an externally trusted identity
unless CI or the receiving team pins the signer fingerprint or a managed
signing key.
Use it in a pull request
Run axint prove on a macOS runner with Xcode. For a starter workflow and
the signed-receipt output, see GitHub Actions setup.
A pass needs real Apple-tooling evidence; missing tests or an unavailable build
are not silently reported as proof.
One proof contract
Generate, Check, Run, Team, and Cloud are different entry points into the same
contract: verdict, evidence, findings, next actions, and artifact paths.
| Mode | Role in the proof loop |
| ------------ | --------------------------------------------------------------------------------------------------------------------------------- |
| **Check** | Validate generated or existing Swift with evidence-aware diagnostics and appropriate abstention. |
| **Run** | Orchestrate resumable build, test, runtime, and .xcresult evidence on a local or your own Mac runner. |