Axint

 

Los agentes pueden escribir Swift. Axint hace que lo demuestren.

La capa de prueba y reparación para agentes de codificación de Apple.

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 · Probar Vista Previa en la Nube · 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, los 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 integra 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 confirmar, contextualizar o suprimir esas pistas. 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	La evidencia estática sólida identifica un problema probable, pero la evidencia decisiva de las herramientas de Apple está 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	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 las compilaciones y pruebas disponibles, concilia los hallazgos y escribe la prueba en .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 configuración de memoria o MCP, no aplica correcciones ni reescribe el proyecto.

Cuando una falla requiere otro turno, Axint devuelve un Paquete de Corrección: 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 la CI o el equipo receptor fijen la huella del firmante o una clave de firma gestionada.

Un único contrato de prueba

Generar, Verificar, Ejecutar, Equipo y Nube son diferentes puntos de entrada al mismo contrato: veredicto, evidencia, hallazgos, siguientes acciones y rutas de artefactos.

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

Generar cuando sea útil

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

Conectar 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 SDK oficiales de clientes; 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 Tarjeta de Agente se sirve en /.well-known/agent-card.json. El uso de bucle local funciona sin configuración; las implementaciones fuera del bucle local 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 implementación, pruebas y 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 verificaciones implementadas y los canarios.
• Prueba de etiquetas de accesibilidad convierte la evidencia de accesibilidad de tareas comunes en un informe de preparación para la 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 entre agentes, autenticación, aislamiento de tareas y el límite de ejecución local.
• Arquitectura explica los límites del compilador, prueba, MCP, A2A, Python y tiempo de ejecución.
• Notas de versión registran el comportamiento publicado y los cambios de compatibilidad.
• Seguridad documenta informes, versiones compatibles, telemetría y 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 nativa en Python, validación, generación y su superficie MCP enfocada
Vista Previa en la Nube	Explora el flujo de trabajo de prueba remota y compilación de macOS desde cualquier sistema operativo
Registro	Descubre paquetes reutilizables de capacidades de Apple
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.
• Toma un problema de help wanted.
• Lee la guía de contribución.
• Pregunta, propone o muestra tu trabajo en Discusiones.

Requisitos y licencia

El paquete de JavaScript sigue el motor de Node.js declarado en package.json. La generación de Swift se ejecuta en cualquier lugar donde se ejecute Node. La compilación de Xcode, las pruebas, el simulador y la prueba en tiempo de ejecución requieren macOS con una cadena de herramientas Xcode compatible.

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