[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_138":139},"routes/modules.$creator.$moduleId",{"_14":15,"_16":17,"_18":19,"_20":21},"routes/modules.$creator.$moduleId.endpoints",{"_11":12,"_13":-5},"error","Module not found","tools","module",{"_20":22,"_23":24,"_25":26,"_27":28,"_29":30,"_31":32,"_33":34,"_35":26,"_36":37,"_38":-5,"_39":-5,"_40":41,"_42":43,"_44":45,"_46":47,"_48":49,"_50":51,"_52":53,"_54":55,"_56":-5,"_57":49,"_58":59,"_60":61,"_62":63,"_64":65,"_66":67,"_68":69,"_70":71,"_72":73,"_74":75,"_76":77,"_78":79,"_80":-5,"_81":-5,"_82":-5,"_83":49,"_84":-5,"_85":86,"_87":88,"_89":90,"_91":92,"_93":94,"_95":96},"apiUrl","https://odel.app/api","creator","agenticempire","moduleId","axint","@agenticempire/axint","displayName","Axint","tagline","Proof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures.","iconKey","https://avatars.githubusercontent.com/u/274411643?v=4","category","remote","status","published","visibility","public","metaDescription","deploymentType","external","workerName","bindingName","mcpConfig","{\"url\":\"https://mcp.axint.ai/mcp\",\"transport\":\"streamable-http\",\"authType\":\"none\"}","pricingModel","free","creatorUserId","system:external-import","createdAt",1781363387000,"updatedAt",1788329197000,"sourceRegistry","official-mcp-registry","sourceUrl","https://registry.modelcontextprotocol.io/v0/servers?search=io.github.agenticempire%2Faxint","sourceVerified",true,"sourceMissingSince","importedAt","upstreamStars",16,"upstreamUpdatedAt",1788231274000,"detectedTransport","streamable-http","detectedAuthType","none","probeStatus","ok","lastProbedAt",1787633006000,"githubRepoUrl","https://github.com/agenticempire/axint","githubRepoFullName","agenticempire/axint","releaseId","ext-agenticempire-axint","version","0.6.0","descriptionMarkdown","

\n \n \n $\"Axint$ \n \n \n \n \n $\"Axint\"$ \n \n

\n\n

Agents can write Swift. Axint makes them prove it.

\n\n

\n The proof and repair layer for Apple coding agents.\n

\n\n

\n Axint checks the Swift your agent wrote, runs the real Xcode build and tests,
\n reconciles findings with Apple tooling, and returns signed proof with the exact repairs to make next.
\n No project rewrite. No source upload.\n

\n\n

\n $\"npm$ \n $\"monthly$ \n $\"PyPI$ \n $\"continuous$ \n $\"Apache$ \n

\n\n

\n Prove a project ·\n Try Cloud Preview ·\n Connect an agent ·\n Docs ·\n Examples ·\n Contribute\n

\n\n

\n $\"Axint$ \n

\n\n

_{Local by default. Open source. Ordinary Swift.}

\n\n## A plausible patch is not proof.\n\nApple software is a graph of contracts. SwiftUI state, App Intents, Siri and\nShortcuts metadata, widgets, entitlements, privacy declarations, concurrency,\nbuild settings, tests, and runtime behavior all have to agree. Code that looks\nright can still fail to compile, miss an interaction, or violate a platform\ncontract.\n\nAxint puts static analysis and Apple tooling into one repair loop. Static checks\nidentify leads; Xcode build and test output can confirm, contextualize, or\nsuppress them. The result stays compact enough for the next agent turn while\nfull logs and artifacts remain on disk.\n\n| Evidence class | What it means |\n| -------------- | --------------------------------------------------------------------------------------------------------------------------- |\n| **Confirmed** | Deterministic analysis or matching compiler, build, or test evidence supports the finding. |\n| **Probable** | Strong static evidence identifies a likely problem, but decisive Apple-tooling evidence is incomplete. |\n| **Advisory** | A heuristic identifies a quality, accessibility, privacy, interaction, design, or runtime concern for review. |\n| **Suppressed** | Stronger evidence or a project-local review contradicts the finding; it remains in the receipt without blocking the result. |\n\n## Prove an existing project\n\n```bash\nnpx -y -p @axint/compiler axint prove --dir /path/to/MyApp\n```\n\nAxint discovers the Xcode project and scheme, checks existing Swift, runs the\navailable build and tests, reconciles the findings, and writes proof under\n`.axint/proof`.\n\nThe default local run requires no account or configuration. It does not change\nSwift, upload source, install project instructions, install memory or MCP\nconfiguration, apply fixes, or rewrite the project.\n\nWhen a failure needs another turn, Axint returns a\n[**Fix Packet**](https://github.com/agenticempire/axint/blob/main/docs/FIX_PACKET.md): a compact repair artifact with the finding,\nlikely files, exact next action, and rerun command. It also writes a\n**source-free receipt**: a signed proof file containing evidence, results,\nhashes, and repair information without project source.\n\n```bash\naxint prove --dir /path/to/MyApp --fix\naxint receipt verify /path/to/MyApp/.axint/proof/latest.proof.json\n```\n\n`--fix` opts into supported deterministic rewrites and reruns the proof loop.\nReceipt verification checks payload integrity and the embedded Ed25519 signer.\nA locally signed receipt does not establish an externally trusted identity\nunless CI or the receiving team pins the signer fingerprint or a managed\nsigning key.\n\n## One proof contract\n\nGenerate, Check, Run, Team, and Cloud are different entry points into the same\ncontract: verdict, evidence, findings, next actions, and artifact paths.\n\n| Mode | Role in the proof loop |\n| ------------ | --------------------------------------------------------------------------------------------------------------------------------- |\n| **Check** | Validate generated or existing Swift with evidence-aware diagnostics and appropriate abstention. |\n| **Run** | Orchestrate resumable build, test, runtime, and `.xcresult` evidence on a local or your own Mac runner. |\n| **Generate** | Compile smaller contracts into inspectable App Intents, SwiftUI views, widgets, Live Activities, app shells, metadata, and tests. |\n| **Team** | Preserve project context, sessions, file claims, repair packets, and handoffs across agents. |\n| **Cloud** | Run hosted checks and preserve shared proof history when local Apple tooling is unavailable. |\n\n## Generate when it helps\n\nGeneration is optional for existing projects. When a feature is easier to\ndescribe as a smaller contract, Axint can emit ordinary Swift and the companion\nmetadata required by the selected Apple surface.\n\n```typescript\nimport { defineIntent, param } from \"@axint/compiler\";\n\nexport default defineIntent({\n name: \"CreateCalendarEvent\",\n title: \"Create Calendar Event\",\n description: \"Creates a calendar event for the user.\",\n domain: \"productivity\",\n params: {\n title: param.string(\"Event title\"),\n date: param.date(\"Event date\"),\n duration: param.duration(\"Event duration\"),\n location: param.string(\"Location\", { required: false }),\n },\n perform: async ({ title, date }) => ({\n success: true,\n message: `Created ${title} on ${date}`,\n }),\n});\n```\n\n```bash\naxint compile create-calendar-event.ts --out ios/Intents/\n```\n\nTypeScript, Python, JSON IR, and the experimental `.axint` authoring surface\nlower into inspectable Apple-native output. The TypeScript pipeline also\nsupports views, widgets, apps, Live Activities, App Enums, UnionValue schemas,\nApp Shortcuts, and extension scaffolds; see the [coverage map](https://github.com/agenticempire/axint/blob/main/docs/COVERAGE.md)\nfor the implementation and proof boundary of each surface.\n\n## Connect your agent\n\nAxint ships an MCP server for standards-compatible hosts:\n\n```json\n{\n \"mcpServers\": {\n \"axint\": {\n \"command\": \"npx\",\n \"args\": [\"-y\", \"-p\", \"@axint/compiler\", \"axint-mcp\"]\n }\n }\n}\n```\n\nStart a fresh tool session, then call `axint.status` and `axint.activate` to\nverify that the server and compiler are connected.\n\nThe hosted endpoint at `https://mcp.axint.ai/mcp` supports both established MCP\nclients and the current stateless protocol generation. Compatibility is\ncontinuously checked with official SDK clients; see the\n[protocol compatibility contract](https://github.com/agenticempire/axint/blob/main/docs/MCP_2026_COMPATIBILITY.md).\n\nFor orchestrators that delegate durable work between agents, Axint also ships\nan authenticated [A2A server](https://github.com/agenticempire/axint/blob/main/docs/A2A.md). MCP exposes individual tools; A2A\nexposes complete check, diagnosis, proof, and repair-planning tasks with status,\nstreaming updates, cancellation, and source-free result artifacts.\n\n```bash\nnpx -y -p @axint/compiler axint-a2a --project-root /path/to/MyApp\n```\n\nThe Agent Card is served at `/.well-known/agent-card.json`. Loopback use works\nwithout setup; non-loopback deployments require bearer authentication by\ndefault.\n\n

MCP tool and prompt inventory

\n\n### Start, recover, and inspect\n\n`axint.status` · `axint.activate` · `axint.upgrade` · `axint.doctor` ·\n`axint.session.start` · `axint.context.memory` · `axint.context.docs` ·\n`axint.workflow.check`\n\n### Generate and discover\n\n`axint.feature` · `axint.project.pack` · `axint.project.index` ·\n`axint.project.syncVersion` · `axint.suggest` · `axint.registry.search` ·\n`axint.scaffold` · `axint.compile` · `axint.validate` · `axint.tokens.ingest` ·\n`axint.schema.compile` · `axint.templates.list` · `axint.templates.get`\n\n### Check and repair\n\n`axint.xcode.guard` · `axint.xcode.write` · `axint.fix-packet` ·\n`axint.cloud.check` · `axint.repair` · `axint.feedback.create` ·\n`axint.swift.validate` · `axint.swift.fix`\n\n### Coordinate and run\n\n`axint.agent.install` · `axint.agent.advice` · `axint.agent.claim` ·\n`axint.agent.release` · `axint.run` · `axint.run.status` · `axint.run.cancel`\n\n### Built-in prompts\n\n`axint.quick-start` · `axint.project-start` · `axint.context-recovery` ·\n`axint.create-widget` · `axint.create-intent`\n\n

\n\n## Public proof\n\n- [Live product metrics](https://github.com/agenticempire/axint/blob/main/metrics.json) are regenerated from the codebase.\n- The real, CI-gated [brownfield benchmark](https://github.com/agenticempire/axint/blob/main/benchmarks/brownfield/README.md) publishes labeled precision, recall, and abstention cases.\n- [Coverage](https://github.com/agenticempire/axint/blob/main/docs/COVERAGE.md) maps supported surfaces to implementation, tests, and proof boundaries.\n- [Apple platform compatibility](https://github.com/agenticempire/axint/blob/main/docs/APPLE_27_COMPATIBILITY.md) tracks current\n Xcode, Swift, Siri, App Intents, Foundation Models, SwiftUI, UIKit, and App\n Store changes against implemented checks and canaries.\n- [Accessibility-label proof](https://github.com/agenticempire/axint/blob/main/docs/ACCESSIBILITY_LABELS.md) turns common-task\n accessibility evidence into a reviewable App Store readiness report.\n- [MCP compatibility](https://github.com/agenticempire/axint/blob/main/docs/MCP_2026_COMPATIBILITY.md) documents the hosted\n server's dual-era transport contract and verification path.\n- [A2A](https://github.com/agenticempire/axint/blob/main/docs/A2A.md) documents durable agent-to-agent proof delegation,\n authentication, task isolation, and the local execution boundary.\n- [Architecture](https://github.com/agenticempire/axint/blob/main/ARCHITECTURE.md) explains the compiler, proof, MCP, A2A, Python, and runtime boundaries.\n- [Release notes](https://github.com/agenticempire/axint/blob/main/docs/RELEASE_NOTES.md) record shipped behavior and compatibility changes.\n- [Security](https://github.com/agenticempire/axint/blob/main/SECURITY.md) documents reporting, supported releases, telemetry, and dependency policy.\n\n## Ecosystem\n\n| Surface | Use it for |\n| ----------------------------------------------------------- | ---------------------------------------------------------------------------- |\n| [npm](https://www.npmjs.com/package/@axint/compiler) | CLI, TypeScript SDK, compiler, proof runtime, MCP server, and A2A server |\n| [PyPI](https://pypi.org/project/axint/) | Native Python authoring, validation, generation, and its focused MCP surface |\n| [Cloud Preview](https://axint.ai/cloud/preview) | Explore the remote proof and macOS build workflow from any operating system |\n| [Registry](https://registry.axint.ai) | Discover reusable Apple capability packages |\n| [Examples](https://github.com/agenticempire/axint-examples) | Inspect compact App Intent, SwiftUI, and WidgetKit generation examples |\n| [Editor integrations](https://github.com/agenticempire/axint/blob/main/extensions) | Connect Xcode, VS Code, Cursor, JetBrains, Neovim, and other hosts |\n\n## Contribute\n\nThe highest-value contributions improve existing-project precision, Xcode\nevidence, repair quality, Apple API coverage, and reproducible examples.\n\n- Start with a [`good first issue`](https://github.com/agenticempire/axint/issues?q=is%3Aissue+is%3Aopen+label%3A%22good+first+issue%22).\n- Pick up a [`help wanted`](https://github.com/agenticempire/axint/issues?q=is%3Aissue+is%3Aopen+label%3A%22help+wanted%22) problem.\n- Read the [contribution guide](https://github.com/agenticempire/axint/blob/main/CONTRIBUTING.md).\n- Ask, propose, or show your work in [Discussions](https://github.com/agenticempire/axint/discussions).\n\n## Requirements and license\n\nThe JavaScript package follows the Node.js engine declared in\n[`package.json`](https://github.com/agenticempire/axint/blob/main/package.json). Swift generation runs anywhere Node runs. Xcode\nbuild, test, simulator, and runtime proof require macOS with a compatible Xcode\ntoolchain.\n\nAxint is [Apache-2.0 licensed](https://github.com/agenticempire/axint/blob/main/LICENSE). Fork it, extend it, and ship with it.\nThe Axint name and visual identity remain protected; see [NOTICE](https://github.com/agenticempire/axint/blob/main/NOTICE) and\n[TRADEMARKS.md](https://github.com/agenticempire/axint/blob/main/TRADEMARKS.md).\n","changelogMarkdown","videoKey","requiredSecretsJson","publishedAt","priceCents","trialDays",0,"upstream",{"_114":115,"_116":117,"_118":119,"_120":121,"_122":123,"_124":125},"requiredSecrets",[],"tags",[99,100,101,102,103,104,105,106,107,108,109,110,111,112,113],"assets",[],"stats",{"_97":86,"_98":86},"ratingAvg","reviewCount","ai-agents","app-intents","apple","apple-intelligence","code-generation","compiler","developer-tools","ios","macos","open-source","shortcuts","siri","swift","swiftui","typescript","topics",[99,100,101,102,103,104,105,106,107,133,134,108,109,110,111,112,113,135,136,137],"license","Apache-2.0","language","TypeScript","registryName","io.github.agenticempire/axint","homepage","https://axint.ai","packages",[126,127],{"_128":131,"_130":132,"_76":77},{"_128":129,"_130":21,"_76":77},"registryType","pypi","identifier","npm","@axint/compiler","mcp","mcp-server","visionos","widgetkit","xcode","ENV",{"_140":141,"_142":143,"_144":145},"ENVIRONMENT","production","TURNSTILE_SITE_KEY","0x4AAAAAAB8-rEI2gNDf_QhU","SENTRY_DSN","https://45fd1229f78089d5c3ee78be128030e1@o4510583261757440.ingest.de.sentry.io/4510584253448272"]