Autres · Serveur MCP local
A0
Write, check, run and compile A0 programs through revision-checked structured edits.
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.Joe-Simo/a0- Version
- 0.8.16
- Statut
- Actif
- Catégorie
- autres
- Transport
- stdio (processus local)
- Paquet
- MCP Bundle (.mcpb)
- Publié
- 1 octobre 2026
- Mis à jour
- 1 octobre 2026
- Éditeur
- Joe-Simo (GitHub)
- Espace de noms
- Espace de noms vérifié par le MCP Registry via GitHub (github.com/Joe-Simo) · comment
- Site web
- a0lang.com
- Dépôt
- github.com/Joe-Simo/a0
- Source
- Entrée dans l’API du registre
Paquets
| Registre | Paquet | Version | Transport |
|---|---|---|---|
| MCP Bundle (.mcpb) | https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-arm64.mcpbSomme de contrôle SHA-256 indiquée | - | stdio |
| MCP Bundle (.mcpb) | https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-x64.mcpbSomme de contrôle SHA-256 indiquée | - | stdio |
| MCP Bundle (.mcpb) | https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-linux-x64.mcpbSomme de contrôle SHA-256 indiquée | - | stdio |
| MCP Bundle (.mcpb) | https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-linux-arm64.mcpbSomme de contrôle SHA-256 indiquée | - | stdio |
| MCP Bundle (.mcpb) | https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-windows-x64.mcpbSomme de contrôle SHA-256 indiquée | - | stdio |
Comment connecter A0
A0 s’exécute en local depuis un MCP Bundle : une archive unique à télécharger qui contient un serveur local et un manifeste qui le décrit : https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-arm64.mcpb. 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 un client qui installe les MCP Bundles ; le fichier s’ouvre dans ce client ou s’y ajoute.
A0 s’exécute en local depuis un MCP Bundle : une archive unique à télécharger qui contient un serveur local et un manifeste qui le décrit : https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-x64.mcpb. 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 un client qui installe les MCP Bundles ; le fichier s’ouvre dans ce client ou s’y ajoute.
A0 s’exécute en local depuis un MCP Bundle : une archive unique à télécharger qui contient un serveur local et un manifeste qui le décrit : https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-linux-x64.mcpb. 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 un client qui installe les MCP Bundles ; le fichier s’ouvre dans ce client ou s’y ajoute.
A0 s’exécute en local depuis un MCP Bundle : une archive unique à télécharger qui contient un serveur local et un manifeste qui le décrit : https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-linux-arm64.mcpb. 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 un client qui installe les MCP Bundles ; le fichier s’ouvre dans ce client ou s’y ajoute.
A0 s’exécute en local depuis un MCP Bundle : une archive unique à télécharger qui contient un serveur local et un manifeste qui le décrit : https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-windows-x64.mcpb. 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 un client qui installe les MCP Bundles ; le fichier s’ouvre dans ce client ou s’y ajoute.
Déduit de l’entrée du registre, non testé ici. 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 : autres
| Serveur | Exécution |
|---|---|
| 930m310n MCPMCP server for the Geomelon geographic API - stdio and remote HTTP transports. | Local · stdio |
| 9botManage, automate and analyze WhatsApp groups, communities and channels with 9bot. | Distant · HTTPVérification en direct : connexion requise |
| A Ariff Canvas Instant MCPManage your Canvas coursework with quick access to courses, assignments, and grades. Track upcomin… | Distant · HTTPVérification en direct : ✗ pas de poignée de main |
| A-du: ADU rentals, plans and rulesPermit-verified ADU rentals, pre-approved plans and cited ADU rules for LA, San Diego, SF and NYC. | Distant · HTTPVérification en direct : ✓ poignée de main |
| A11yAlt text, headings, contrast, ARIA for AI agents. | Local · stdio |
| A11y CheckWeb accessibility scanning (WCAG 2.2 AA + KWCAG 2.2) with Korean remediation guides. | Local · stdio |
| A11y CheckReal-browser WCAG audit that also finds keyboard-inoperable controls axe-core misses, with fixes. | Distant · HTTPVérification en direct : ✗ pas de poignée de main |
| A202Verifiable agreements for agent-led commerce: mandates, obligations, evidence, transaction records. | Local · stdio |