Axint Examples

Agents can write Swift. Axint makes them prove it.

Axint is the proof and repair layer for Apple coding agents. These compact examples show one optional part of that loop: describe an Apple-native capability as a small contract, generate inspectable Swift, then carry the result into an Xcode project for build and test evidence.

Current examples

Example	Input contract	Generated Apple surface
trail-planner	Queryable entity, dynamic options, and parameter summary	App Intent
profile-card	Typed props, local state, and conditional rendering	SwiftUI view
step-counter	Timeline entry, refresh interval, and families	WidgetKit widget

Compile any example with the open-source CLI:

npx -y -p @axint/compiler axint compile trail-planner/intent.ts --out generated/

Review the emitted Swift before adding it to your target. Once the output is in an Apple project, run the real proof loop from that project:

npx -y -p @axint/compiler axint prove --dir /path/to/MyApp

Axint checks Swift, runs the available Xcode build and tests, reconciles static findings with Apple evidence, and returns a signed source-free receipt. When a failure needs another turn, a Fix Packet provides the finding, likely files, next action, and rerun command.

Proof boundary

This repository currently contains small generation inputs, not committed .xcodeproj fixtures, .xcresult bundles, signed receipts, or Fix Packets. The proof gallery work will add reproducible source, output, Xcode evidence, and repair artifacts without rewriting the history of these examples.

Explore

• Prove an existing project
• Try the browser playground
• Read the documentation
• Browse the Registry
• Open the main repository

Examples and the Axint core are Apache-2.0 licensed. Contributions that add a small Apple project with reproducible proof evidence are especially useful.