---
bezeichner: "io.github.atomadictech/atomadic-forge"
art: "mcp_server"
slug: "io-github-atomadictech-atomadic-forge"
paketkoordinate: "pypi:atomadic-forge"
status: "aktiv"
homepage: "https://forge.atomadic.tech"
erhebungsstand: "2026-10-10T01:17:01.464Z"
namensraum: "io.github.atomadictech"
registerseite: "https://tracevero.de/mcp/io-github-atomadictech-atomadic-forge"
abgerufen_am: "2026-10-10"
zugangsdaten_erforderlich: false
ausfuehrungsort: "lokal"
dateisystem_pfadargument: false
quelloffen_einsehbar: true
roh_beschreibung: "Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert."
version: "0.87.0"
roh_umgebungsvariablen: ""
roh_geheime_pflichtvariablen: ""
roh_transportarten: "stdio, streamable-http"
roh_pfadargumente: ""
roh_repository_url: "https://github.com/atomadictech/atomadic-forge"
roh_paketquellen: "pypi"
roh_geheime_pflichtkopfzeilen: ""
roh_pfad_umgebungsvariablen: ""
roh_remote_adressen: "https://forge.atomadic.tech/mcp"
roh_remote_hosts: "forge.atomadic.tech"
roh_statusmeldung: ""
roh_veroeffentlicht_am: "2026-05-11"
roh_aktualisiert_am: "2026-05-11"
roh_schemafassung: "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json"
roh_bereitstellungsform: "paket und remote"
roh_repository_quelle: "github"
roh_repository_unterordner: ""
roh_paketbezeichner: "atomadic-forge"
roh_paketversionen: "0.87.0"
roh_laufzeithinweise: "forge"
roh_umgebungsformate: ""
roh_umgebungsbeschreibungen: ""
roh_symbolformate: ""
roh_verbindungswege: "{\"packages\":[{\"registryType\":\"pypi\",\"identifier\":\"atomadic-forge\",\"version\":\"0.87.0\",\"runtimeHint\":\"forge\",\"transport\":\"stdio\",\"environment\":[],\"additional_arguments_declared\":true}],\"remotes\":[{\"url\":\"https://forge.atomadic.tech/mcp\",\"transport\":\"streamable-http\",\"headers\":[]}]}"
---

# Atomadic Forge

## Gemessene Werte

| Merkmal | Wert | Quelle | Erhoben am | Vertrauensgrad | Rohangabe |
| --- | --- | --- | --- | --- | --- |
| Pflicht-Geheimnisse deklariert | false | MCP-Register | 2026-08-06T13:57:41.838Z | abgeleitet | roh_geheime_pflichtvariablen: ; roh_geheime_pflichtkopfzeilen: |
| Ausführungsort | lokal | MCP-Register | 2026-08-06T13:57:41.838Z | abgeleitet | roh_transportarten: stdio, streamable-http |
| Pfadargument vorhanden | false | MCP-Register | 2026-08-06T13:57:41.838Z | abgeleitet | roh_pfadargumente: ; roh_pfad_umgebungsvariablen: |
| Repository-Adresse geführt | true | MCP-Register | 2026-08-06T13:57:41.838Z | abgeleitet | roh_repository_url: https://github.com/atomadictech/atomadic-forge |
| Beschreibung (Rohangabe) | Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert. | MCP-Register | 2026-08-26T16:45:01.514Z | selbstauskunft |  |
| Deklarierte Version | 0.87.0 | MCP-Register | 2026-08-06T13:57:41.838Z | selbstauskunft |  |
| Umgebungsvariablen (Rohangabe) |  | MCP-Register | 2026-08-06T13:57:41.838Z | selbstauskunft |  |
| Geheime Pflichtvariablen (Rohangabe) |  | MCP-Register | 2026-08-06T13:57:41.838Z | selbstauskunft |  |
| Transportarten (Rohangabe) | stdio, streamable-http | MCP-Register | 2026-08-06T13:57:41.838Z | selbstauskunft |  |
| Pfadargumente (Rohangabe) |  | MCP-Register | 2026-08-06T13:57:41.838Z | selbstauskunft |  |
| Repository (Rohangabe) | https://github.com/atomadictech/atomadic-forge | MCP-Register | 2026-08-06T13:57:41.838Z | selbstauskunft |  |
| Paketquellen (Rohangabe) | pypi | MCP-Register | 2026-08-06T13:57:41.838Z | selbstauskunft |  |
| Geheime Pflichtkopfzeilen (Rohangabe) |  | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Pfad-Umgebungsvariablen (Rohangabe) |  | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Remote-Adressen (Rohangabe) | https://forge.atomadic.tech/mcp | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Remote-Hosts (Rohangabe) | forge.atomadic.tech | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Statusmeldung des Registers (Rohangabe) |  | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Im Register eingetragen am (Rohangabe) | 2026-05-11 | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Im Register geändert am (Rohangabe) | 2026-05-11 | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Schemafassung des Rohsatzes (Rohangabe) | https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Bereitstellungsform (Rohangabe) | paket und remote | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Repository-Plattform (Rohangabe) | github | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Repository-Unterordner (Rohangabe) |  | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Paketbezeichner (Rohangabe) | atomadic-forge | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Paketversionen (Rohangabe) | 0.87.0 | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Laufzeithinweise (Rohangabe) | forge | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Formate der Umgebungsvariablen (Rohangabe) |  | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Beschreibungen der Umgebungsvariablen (Rohangabe) |  | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Symbolformate (Rohangabe) |  | MCP-Register | 2026-08-16T01:17:01.420Z | selbstauskunft |  |
| Verbindungswege (Quellstruktur) | {"packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.87.0","runtimeHint":"forge","transport":"stdio","environment":[],"additional_arguments_declared":true}],"remotes":[{"url":"https://forge.atomadic.tech/mcp","transport":"streamable-http","headers":[]}]} | MCP-Register | 2026-09-08T01:17:01.649Z | selbstauskunft |  |

## Verweise

- Namensraum: [[namensraum/io-github-atomadictech|io.github.atomadictech]]

---

- Registerseite: <https://tracevero.de/mcp/io-github-atomadictech-atomadic-forge>
- Abgerufen am: 2026-10-10