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
| Transport | URL | En-têtes déclarés |
|---|---|---|
| Streamable HTTP | https://mcp.axint.ai/mcp | Aucun |
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 noms
axint.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
Paquets
| Registre | Paquet | Version | Transport |
|---|---|---|---|
| npm | @axint/compiler | 0.6.0 | stdio |
| PyPI | axint | 0.6.0 | stdio |
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
| Serveur | Exécution |
|---|---|
| Aws MCP ConnectorMCP server for the AWS CLI. Read-only by default; single Go binary. | Local · stdio |
| AWS MCP ServerA managed MCP server enabling AI agents to access AWS using docs, API calls, and SOP workflows. | Local · stdio |
| AWT (AI Watch Tester)AI-powered E2E testing MCP server. Detects and auto-fixes UI bugs via DevQA Loop and Vision AI. | Local · stdio |
| 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 main |
| AXIOMTransactional write gate for coding agents: plan, canonical manifest, checks, two-phase apply. | Local · stdio |
| Axiom - Advanced MathExact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas. | Local · stdio |
| axiom.coList datasets, schemas, run APL queries, and use prompts for exploration, anomalies, and monitoring. | Distant · SSE et HTTPVérification en direct : connexion requise |
| 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 requise |