Axint

 

Agentes podem escrever Swift. A Axint faz com que eles provem isso.

A camada de prova e reparo para agentes de codificação Apple.

A Axint verifica o Swift que seu agente escreveu, executa o build e os testes reais do Xcode,
reconcilia os achados com as ferramentas Apple e retorna prova assinada com os reparos exatos a fazer em seguida.
Sem reescrita de projeto. Sem envio de código-fonte.

Prove um projeto · Experimente o Cloud Preview · Conecte um agente · Docs · Exemplos · Contribua

_{Local por padrão. Código aberto. Swift comum.}

Um patch plausível não é prova.

O software da Apple é um grafo de contratos. Estado do SwiftUI, App Intents, metadados de Siri e Atalhos, widgets, entitlements, declarações de privacidade, concorrência, configurações de build, testes e comportamento de runtime precisam estar em acordo. Código que parece correto ainda pode falhar ao compilar, perder uma interação ou violar um contrato da plataforma.

A Axint coloca análise estática e ferramentas Apple em um único ciclo de reparo. Verificações estáticas identificam pistas; a saída de build e teste do Xcode pode confirmá-las, contextualizá-las ou suprimi-las. O resultado permanece compacto o suficiente para a próxima rodada do agente, enquanto logs completos e artefatos permanecem no disco.

Classe de evidência	O que significa
Confirmado	Análise determinística ou evidência correspondente de compilador, build ou teste apoia o achado.
Provável	Evidência estática forte identifica um problema provável, mas a evidência decisiva das ferramentas Apple está incompleta.
Advertência	Uma heurística identifica uma preocupação de qualidade, acessibilidade, privacidade, interação, design ou runtime para revisão.
Suprimido	Evidência mais forte ou uma revisão local do projeto contradiz o achado; ele permanece no recibo sem bloquear o resultado.

Prove um projeto existente

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

A Axint descobre o projeto e o scheme do Xcode, verifica o Swift existente, executa o build e os testes disponíveis, reconcilia os achados e escreve a prova em .axint/proof.

A execução local padrão não exige conta nem configuração. Ela não altera Swift, não envia código-fonte, não instala instruções de projeto, não instala memória ou configuração MCP, não aplica correções nem reescreve o projeto.

Quando uma falha exige outra rodada, a Axint retorna um Fix Packet: um artefato de reparo compacto com o achado, arquivos prováveis, próxima ação exata e comando de reexecução. Ela também grava um recibo sem código-fonte: um arquivo de prova assinado contendo evidências, resultados, hashes e informações de reparo sem o código-fonte do projeto.

axint prove --dir /path/to/MyApp --fix
axint receipt verify /path/to/MyApp/.axint/proof/latest.proof.json

--fix opta por reescritas determinísticas suportadas e reexecuta o ciclo de prova. A verificação do recibo verifica a integridade do payload e o assinante Ed25519 embutido. Um recibo assinado localmente não estabelece uma identidade confiável externamente, a menos que a CI ou a equipe receptora fixe a impressão digital do assinante ou uma chave de assinatura gerenciada.

Um contrato de prova

Generate, Check, Run, Team e Cloud são diferentes pontos de entrada para o mesmo contrato: veredito, evidências, achados, próximas ações e caminhos de artefatos.

Modo	Função no ciclo de prova
Check	Valide Swift gerado ou existente com diagnósticos cientes de evidências e abstenção apropriada.
Run	Orquestre evidências retomáveis de build, teste, runtime e .xcresult em um runner local ou no seu próprio Mac.
Generate	Compile contratos menores em App Intents, views SwiftUI, widgets, Live Activities, shells de app, metadados e testes inspecionáveis.
Team	Preserve contexto de projeto, sessões, reivindicações de arquivos, pacotes de reparo e transferências entre agentes.
Cloud	Execute verificações hospedadas e preserve o histórico compartilhado de provas quando as ferramentas Apple locais não estiverem disponíveis.

Gere quando ajudar

A geração é opcional para projetos existentes. Quando um recurso é mais fácil de descrever como um contrato menor, a Axint pode emitir Swift comum e os metadados complementares exigidos pela superfície Apple selecionada.

import { defineIntent, param } from "@axint/compiler";

export default defineIntent({
  name: "CreateCalendarEvent",
  title: "Create Calendar Event",
  description: "Creates a calendar event for the user.",
  domain: "productivity",
  params: {
    title: param.string("Event title"),
    date: param.date("Event date"),
    duration: param.duration("Event duration"),
    location: param.string("Location", { required: false }),
  },
  perform: async ({ title, date }) => ({
    success: true,
    message: `Created ${title} on ${date}`,
  }),
});

axint compile create-calendar-event.ts --out ios/Intents/

TypeScript, Python, JSON IR e a superfície de autoria experimental .axint se reduzem a saída Apple-nativa inspecionável. O pipeline TypeScript também suporta views, widgets, apps, Live Activities, App Enums, schemas UnionValue, App Shortcuts e scaffolds de extensão; veja o mapa de cobertura para a implementação e o limite de prova de cada superfície.

Conecte seu agente

A Axint inclui um servidor MCP para hosts compatíveis com padrões:

{
  "mcpServers": {
    "axint": {
      "command": "npx",
      "args": ["-y", "-p", "@axint/compiler", "axint-mcp"]
    }
  }
}

Inicie uma nova sessão de ferramentas e chame axint.status e axint.activate para verificar se o servidor e o compilador estão conectados.

O endpoint hospedado em https://mcp.axint.ai/mcp suporta tanto clientes MCP estabelecidos quanto a geração atual do protocolo sem estado. A compatibilidade é verificada continuamente com clientes oficiais do SDK; veja o contrato de compatibilidade de protocolo.

Para orquestradores que delegam trabalho durável entre agentes, a Axint também inclui um servidor A2A autenticado. O MCP expõe ferramentas individuais; o A2A expõe tarefas completas de verificação, diagnóstico, prova e planejamento de reparo com status, atualizações em streaming, cancelamento e artefatos de resultado sem código-fonte.

npx -y -p @axint/compiler axint-a2a --project-root /path/to/MyApp

O Agent Card é servido em /.well-known/agent-card.json. O uso em loopback funciona sem configuração; implantações fora de loopback exigem autenticação bearer por padrão.

Inventário de ferramentas e prompts MCP

Iniciar, recuperar e inspecionar

axint.status · axint.activate · axint.upgrade · axint.doctor · axint.session.start · axint.context.memory · axint.context.docs · axint.workflow.check

Gerar e descobrir

axint.feature · axint.project.pack · axint.project.index · axint.project.syncVersion · axint.suggest · axint.registry.search · axint.scaffold · axint.compile · axint.validate · axint.tokens.ingest · axint.schema.compile · axint.templates.list · axint.templates.get

Verificar e reparar

axint.xcode.guard · axint.xcode.write · axint.fix-packet · axint.cloud.check · axint.repair · axint.feedback.create · axint.swift.validate · axint.swift.fix

Coordenar e executar

axint.agent.install · axint.agent.advice · axint.agent.claim · axint.agent.release · axint.run · axint.run.status · axint.run.cancel

Prompts integrados

axint.quick-start · axint.project-start · axint.context-recovery · axint.create-widget · axint.create-intent

Prova pública

• Métricas de produto ao vivo são regeneradas a partir do codebase.
• O benchmark brownfield real, controlado por CI, publica casos rotulados de precisão, recall e abstenção.
• Cobertura mapeia superfícies suportadas para implementação, testes e limites de prova.
• Compatibilidade com a plataforma Apple acompanha mudanças atuais de Xcode, Swift, Siri, App Intents, Foundation Models, SwiftUI, UIKit e App Store em relação às verificações e canaries implementados.
• Prova de rótulos de acessibilidade transforma evidências de acessibilidade de tarefas comuns em um relatório revisável de prontidão para a App Store.
• Compatibilidade MCP documenta o contrato de transporte de dupla era do servidor hospedado e o caminho de verificação.
• A2A documenta delegação durável de prova entre agentes, autenticação, isolamento de tarefas e o limite de execução local.
• Arquitetura explica os limites do compilador, prova, MCP, A2A, Python e runtime.
• Notas de versão registram comportamento enviado e mudanças de compatibilidade.
• Segurança documenta relatórios, versões suportadas, telemetria e política de dependências.

Ecossistema

Superfície	Use para
npm	CLI, SDK TypeScript, compilador, runtime de prova, servidor MCP e servidor A2A
PyPI	Criação, validação e geração nativas em Python, e sua superfície MCP focada
Cloud Preview	Explore o fluxo de prova remota e build macOS a partir de qualquer sistema operacional
Registry	Descubra pacotes reutilizáveis de capacidades Apple
Examples	Inspecione exemplos compactos de geração de App Intent, SwiftUI e WidgetKit
Editor integrations	Conecte Xcode, VS Code, Cursor, JetBrains, Neovim e outros hosts

Contribua

As contribuições de maior valor melhoram a precisão em projetos existentes, a evidência do Xcode, a qualidade do reparo, a cobertura da API Apple e exemplos reproduzíveis.

• Comece com um good first issue.
• Pegue um problema de help wanted.
• Leia o guia de contribuição.
• Pergunte, proponha ou mostre seu trabalho em Discussões.

Requisitos e licença

O pacote JavaScript segue o motor Node.js declarado em package.json. A geração de Swift roda em qualquer lugar onde o Node roda. Build, teste, simulador e prova de runtime do Xcode exigem macOS com um toolchain Xcode compatível.

Axint é licenciado sob Apache-2.0. Faça fork, estenda e envie com ele. O nome Axint e a identidade visual permanecem protegidos; veja NOTICE e TRADEMARKS.md.