Développement · Serveur MCP distant

Axint

Proof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures.

Ce qu’indique le MCP Registry

L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.

Nom dans le registre
io.github.agenticempire/axint
Version
0.6.0
Statut
Actif
Catégorie
développement
Transport
Streamable HTTP et stdio (processus local)
Paquet
npm et PyPI
Publié
16 juillet 2026
Mis à jour
16 juillet 2026
Éditeur
agenticempire (GitHub)
Espace de noms
Espace de noms vérifié par le MCP Registry via GitHub (github.com/agenticempire) · comment
Dépôt
github.com/agenticempire/axint
Source
Entrée dans l’API du registre

Points de terminaison distants

TransportURLEn-têtes déclarés
Streamable HTTPhttps://mcp.axint.ai/mcpAucun

Vérification en direct

Cet annuaire s’est connecté à chaque point de terminaison distant et lui a demandé sa liste d’outils. La vérification se limite à la connexion et à la liste des outils ; elle n’exécute aucun outil, ne se connecte à aucun compte et ne teste pas la sécurité.

Joignable
Oui (HTTP 200)
Poignée de main
axint 0.6.0 · protocole 2025-06-18
Outils trouvés
36 - afficher les nomsaxint.compile, axint.validate, axint.swift.validate, axint.swift.fix, axint.scaffold, axint.templates.list, axint.templates.get, axint.repair, axint.status, axint.activate, axint.upgrade, axint.doctor, axint.xcode.guard, axint.xcode.write, axint.session.start, axint.feature, axint.project.pack, axint.project.index, axint.project.syncVersion, axint.context.memory, axint.context.docs, axint.suggest, axint.registry.search, axint.workflow.check, axint.fix-packet, axint.cloud.check, axint.feedback.create, axint.agent.install, axint.agent.advice, axint.agent.claim, axint.agent.release, axint.run, axint.run.status, axint.run.cancel, axint.tokens.ingest, axint.schema.compile
Vérifié le
5 octobre 2026

Comment fonctionne la vérification en direct

Paquets

RegistrePaquetVersionTransportVariables d’environnement
npm@axint/compiler0.6.0stdioAucune déclarée
PyPIaxint0.6.0stdioAucune déclarée

Comment connecter Axint

Axint est un serveur MCP distant : il n’y a rien à installer. Son point de terminaison, servi en Streamable HTTP, est https://mcp.axint.ai/mcp. Dans un assistant qui accepte les serveurs MCP distants (souvent dans un paramètre nommé connecteurs, intégrations ou outils), ajoutez un nouveau serveur et indiquez-lui cette URL ; dans un client configuré par fichier, ajoutez-le comme serveur distant (HTTP) avec la même URL.

L’entrée du registre ne déclare aucun en-tête. Si le serveur vous demande de vous connecter, un client qui prend en charge l’autorisation MCP ouvre la page de connexion du service lui-même lors du premier accès.

Il peut aussi s’exécuter en local depuis un paquet Node.js publié sur le registre npm : @axint/compiler, version 0.6.0. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite Node.js ; les clients le lancent généralement avec npx - la commande habituelle est npx -y @axint/compiler@0.6.0.

Il peut aussi s’exécuter en local depuis un paquet Python publié sur PyPI : axint, version 0.6.0. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite Python ; les clients le lancent généralement avec uvx (fourni par uv) ou après pip install - la commande habituelle est uvx axint.

Au format JSON mcpServers, que lisent de nombreux clients MCP de bureau et éditeurs de code, l’entrée se présente ainsi (espaces réservés entre chevrons) :

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

Déduit de l’entrée du registre ; la vérification en direct ci-dessus indique seulement si le point de terminaison a répondu. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur

Autres serveurs : développement

Voir les 5 152 →
ServeurExécutionPoint de terminaison ou paquet
Aws MCP ConnectorMCP server for the AWS CLI. Read-only by default; single Go binary.Local · stdioMCP Bundle (.mcpb) : FerhatDundar/aws-mcp-connector/releases/download
AWS MCP ServerA managed MCP server enabling AI agents to access AWS using docs, API calls, and SOP workflows.Local · stdioPyPI : mcp-proxy-for-aws
AWT (AI Watch Tester)AI-powered E2E testing MCP server. Detects and auto-fixes UI bugs via DevQA Loop and Vision AI.Local · stdioPyPI : aat-devqa
aXAgent-native collaboration network: orchestrate a team of long-running agents from any MCP client.Distant · HTTPVérification en direct : ✗ pas de poignée de mainpaxai.app
AXIOMTransactional write gate for coding agents: plan, canonical manifest, checks, two-phase apply.Local · stdionpm : @codai/axiom-mcp
Axiom - Advanced MathExact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas.Local · stdionpm : axiom-math
axiom.coList datasets, schemas, run APL queries, and use prompts for exploration, anomalies, and monitoring.Distant · SSE et HTTPVérification en direct : connexion requisemcp.axiom.co
AxisCoding agents from Claude Code, Cursor and Codex claim jobs and lock files on one shared board.Distant et local · HTTP et stdioVérification en direct : connexion requiseuseaxis.dev