Développement · Serveur MCP distant

Atomadic Forge

Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.

Visiter le site de Atomadic Forge

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.atomadictech/atomadic-forge
Version
0.87.0
Statut
Actif
Catégorie
développement
Transport
Streamable HTTP et stdio (processus local)
Paquet
PyPI
Publié
11 mai 2026
Mis à jour
11 mai 2026
Éditeur
atomadictech (GitHub) · 2 serveurs avec une page ici
Espace de noms
Espace de noms vérifié par le MCP Registry via GitHub (github.com/atomadictech) · comment
Site web
forge.atomadic.tech
Dépôt
github.com/atomadictech/atomadic-forge
Source
Entrée dans l’API du registre

Points de terminaison distants

TransportURLEn-têtes déclarés
Streamable HTTPhttps://forge.atomadic.tech/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 301)
Poignée de main
HTTP 301
Vérifié le
5 octobre 2026

Comment fonctionne la vérification en direct

Paquets

RegistrePaquetVersionTransportVariables d’environnement
PyPIenvironnement d’exécution : forgeatomadic-forge0.87.0stdioAucune déclarée

Comment connecter Atomadic Forge

Atomadic Forge est un serveur MCP distant : il n’y a rien à installer. Son point de terminaison, servi en Streamable HTTP, est https://forge.atomadic.tech/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 Python publié sur PyPI : atomadic-forge, version 0.87.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 atomadic-forge ; l’entrée indique forge comme environnement d’exécution.

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": {
    "atomadic-forge": {
      "command": "uvx",
      "args": [
        "atomadic-forge"
      ]
    }
  }
}

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

Du même éditeur : atomadictech (GitHub)

Voir les 2 →
ServeurExécutionPoint de terminaison ou paquet
aaaa-nexus - Formally Verified AI Safety APIsFormally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.Distant · HTTPVérification en direct : ✓ poignée de mainaaaa-nexus.atomadictech.workers.dev

Autres serveurs : développement

Voir les 5 152 →
ServeurExécutionPoint de terminaison ou paquet
Atlas Red mind mapsCreate, edit, restructure, import and export Atlas Red mind maps from any MCP client. Free.Distant · HTTPVérification en direct : connexion requiseapp.atlas-red.com
Atlas ScoutLocal, read-only structural code navigation and bounded dependency analysis for source repositories.Local · stdioMCP Bundle (.mcpb) : ZaguanLabs/atlas-scout-mcp/releases/download/v1.
Atlassian Dc MCP BitbucketMCP server for Atlassian Bitbucket Data Center - interact with repositories and code.Local · stdionpm : @atlassian-dc-mcp/bitbucket
Atlassian Dc MCP BitbucketMCP server for Atlassian Bitbucket Data Center - interact with repositories and code.Local · stdionpm : bitbucket-datacenter-mcp
AtomicrepsRetrieval practice in your coding agent: one short question about what you just built.Distant et local · HTTP et stdioVérification en direct : connexion requiseatomicreps.com
AtonoGive your AI coding tools your team's product context: stories, bugs, epics, and glossary.Local · stdioImage OCI (Docker) : docker.io/atonoio/atono-mcp-server:1.1.1
Attack Surface MCP ServerPassive external attack-surface mapping: CT subdomains, DNS, TLS, HTTP posture, RDAP/WHOIS, Shodan.Local · stdio et HTTPnpm : @cyanheads/attack-surface-mcp-server
Attest proxyZero-code proxy: policy, human gate, read-back and a hash-chained ledger for any MCP server.Local · stdioPyPI : attestlayer