Axint

 

La IA escribió el Swift. Demuestra que compila antes de fusionar.

Una puerta de verificación para Swift escrito por IA en tu PR o pipeline de CI.

Axint verifica el Swift que escribió tu agente, ejecuta la compilación y las pruebas reales de Xcode,
concilia los hallazgos con las herramientas de Apple y devuelve una prueba firmada con las reparaciones exactas a realizar a continuación.
Sin reescritura del proyecto. Sin carga de código fuente.

Probar un proyecto · Configuración de GitHub Actions · Probar Cloud Preview · Conectar un agente · Documentación · Ejemplos · Contribuir

_{Local por defecto. Código abierto. Swift ordinario.}

Un parche plausible no es una prueba.

El software de Apple es un grafo de contratos. El estado de SwiftUI, App Intents, los metadatos de Siri y Shortcuts, los widgets, los entitlements, las declaraciones de privacidad, la concurrencia, la configuración de compilación, las pruebas y el comportamiento en tiempo de ejecución deben coincidir. El código que se ve correcto puede fallar al compilar, perder una interacción o violar un contrato de plataforma.

Axint pone el análisis estático y las herramientas de Apple en un único bucle de reparación. Las comprobaciones estáticas identifican pistas; la salida de compilación y pruebas de Xcode puede confirmarlas, contextualizarlas o suprimirlas. El resultado se mantiene lo suficientemente compacto para el siguiente turno del agente, mientras que los registros completos y los artefactos permanecen en disco.

Clase de evidencia	Qué significa
Confirmado	El análisis determinista o la evidencia coincidente del compilador, compilación o pruebas respaldan el hallazgo.
Probable	Una evidencia estática sólida identifica un problema probable, pero la evidencia decisiva de las herramientas de Apple es incompleta.
Informativo	Una heurística identifica una preocupación de calidad, accesibilidad, privacidad, interacción, diseño o tiempo de ejecución para revisión.
Suprimido	Una evidencia más sólida o una revisión local del proyecto contradice el hallazgo; permanece en el recibo sin bloquear el resultado.

Probar un proyecto existente

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

Axint descubre el proyecto y el esquema de Xcode, verifica el Swift existente, ejecuta la compilación y las pruebas disponibles, concilia los hallazgos y escribe la prueba bajo .axint/proof.

La ejecución local predeterminada no requiere cuenta ni configuración. No cambia Swift, no sube código fuente, no instala instrucciones del proyecto, no instala memoria ni configuración de MCP, no aplica correcciones ni reescribe el proyecto.

Cuando un fallo requiere otro turno, Axint devuelve un Fix Packet: un artefacto de reparación compacto con el hallazgo, los archivos probables, la siguiente acción exacta y el comando para volver a ejecutar. También escribe un recibo sin código fuente: un archivo de prueba firmado que contiene evidencia, resultados, hashes e información de reparación sin el código fuente del proyecto.

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

--fix opta por reescrituras deterministas compatibles y vuelve a ejecutar el bucle de prueba. La verificación del recibo comprueba la integridad de la carga útil y el firmante Ed25519 integrado. Un recibo firmado localmente no establece una identidad de confianza externa a menos que CI o el equipo receptor fije la huella del firmante o una clave de firma gestionada.

Úsalo en una pull request

Ejecuta axint prove en un runner de macOS con Xcode. Para un flujo de trabajo inicial y la salida del recibo firmado, consulta Configuración de GitHub Actions. Una aprobación necesita evidencia real de las herramientas de Apple; las pruebas faltantes o una compilación no disponible no se informan silenciosamente como prueba.

Un contrato de prueba

Generate, Check, Run, Team y Cloud son diferentes puntos de entrada al mismo contrato: veredicto, evidencia, hallazgos, siguientes acciones y rutas de artefactos.

Modo	Rol en el bucle de prueba
Check	Validar Swift generado o existente con diagnósticos conscientes de la evidencia y la abstención adecuada.
Run	Orquestar evidencia reanudable de compilación, prueba, tiempo de ejecución y .xcresult en un runner local o propio de Mac.
Generate	Compilar contratos más pequeños en App Intents, vistas SwiftUI, widgets, Live Activities, shells de app, metadatos y pruebas inspeccionables.
Team	Preservar el contexto del proyecto, sesiones, reclamaciones de archivos, paquetes de reparación y traspasos entre agentes.
Cloud	Ejecutar comprobaciones alojadas y preservar el historial de pruebas compartido cuando las herramientas locales de Apple no están disponibles.

Generar cuando ayuda

La generación es opcional para proyectos existentes. Cuando una característica es más fácil de describir como un contrato más pequeño, Axint puede emitir Swift ordinario y los metadatos complementarios requeridos por la superficie de Apple seleccionada.

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 y la superficie de autoría experimental .axint se reducen a salida nativa de Apple inspeccionable. El pipeline de TypeScript también admite vistas, widgets, apps, Live Activities, App Enums, esquemas UnionValue, App Shortcuts y scaffolds de extensiones; consulta el mapa de cobertura para la implementación y el límite de prueba de cada superficie.

Conecta tu agente

Axint incluye un servidor MCP para hosts compatibles con estándares:

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

Inicia una nueva sesión de herramientas y luego llama a axint.status y axint.activate para verificar que el servidor y el compilador están conectados.

El endpoint alojado en https://mcp.axint.ai/mcp admite tanto clientes MCP establecidos como la generación actual de protocolo sin estado. La compatibilidad se verifica continuamente con los clientes SDK oficiales; consulta el contrato de compatibilidad de protocolo.

Para orquestadores que delegan trabajo duradero entre agentes, Axint también incluye un servidor A2A autenticado. MCP expone herramientas individuales; A2A expone tareas completas de verificación, diagnóstico, prueba y planificación de reparación con estado, actualizaciones en streaming, cancelación y artefactos de resultados sin código fuente.

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

La Agent Card se sirve en /.well-known/agent-card.json. El uso en loopback funciona sin configuración; las implementaciones fuera de loopback requieren autenticación de portador por defecto.

Inventario de herramientas y prompts de MCP

Iniciar, recuperar e inspeccionar

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

Generar y descubrir

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 y reparar

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

Coordinar y ejecutar

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

Prueba pública

• Métricas de producto en vivo se regeneran desde el código base.
• El benchmark brownfield real, controlado por CI, publica casos etiquetados de precisión, recuperación y abstención.
• Cobertura mapea las superficies compatibles con la implementación, las pruebas y los límites de prueba.
• Compatibilidad de plataforma Apple rastrea los cambios actuales de Xcode, Swift, Siri, App Intents, Foundation Models, SwiftUI, UIKit y App Store contra las comprobaciones y canarios implementados.
• Prueba de etiquetas de accesibilidad convierte la evidencia de accesibilidad de tareas comunes en un informe de preparación para App Store revisable.
• Compatibilidad MCP documenta el contrato de transporte de doble era del servidor alojado y la ruta de verificación.
• A2A documenta la delegación de prueba duradera de agente a agente, la autenticación, el aislamiento de tareas y el límite de ejecución local.
• Arquitectura explica los límites del compilador, la prueba, MCP, A2A, Python y el tiempo de ejecución.
• Notas de versión registran el comportamiento enviado y los cambios de compatibilidad.
• Seguridad documenta la notificación, las versiones compatibles, la telemetría y la política de dependencias.

Ecosistema

Superficie	Úsalo para
npm	CLI, SDK de TypeScript, compilador, tiempo de ejecución de prueba, servidor MCP y servidor A2A
PyPI	Autoría, validación, generación nativa de Python y su superficie MCP enfocada
Cloud Preview	Explora la prueba remota y el flujo de trabajo de compilación de macOS desde cualquier sistema operativo
Ejemplos	Inspecciona ejemplos compactos de generación de App Intent, SwiftUI y WidgetKit
Integraciones de editor	Conecta Xcode, VS Code, Cursor, JetBrains, Neovim y otros hosts

Contribuir

Las contribuciones de mayor valor mejoran la precisión de proyectos existentes, la evidencia de Xcode, la calidad de reparación, la cobertura de API de Apple y los ejemplos reproducibles.

• Comienza con un good first issue.
• Elige un problema de help wanted.
• Lee la guía de contribución.
• Pregunta, propone o muestra tu trabajo en Discussions.

Requisitos y licencia

El paquete de JavaScript sigue el motor de Node.js declarado en package.json. La generación de Swift se ejecuta dondequiera que se ejecute Node. La compilación de Xcode, las pruebas, el simulador y la prueba en tiempo de ejecución requieren macOS con un toolchain de Xcode compatible.

Axint tiene licencia Apache-2.0. Haz un fork, extiéndelo y úsalo. El nombre Axint y la identidad visual permanecen protegidos; consulta NOTICE y TRADEMARKS.md.