---
title: "Semaprax: Agent-native Systemsprache für Coding-Agenten"
canonical: https://wavect.io/de/semaprax/
language: de
description: "Semaprax ist eine experimentelle Systemsprache für Coding-Agenten mit stabilem semantischem Programmgraphen, semantischen Patches sowie verifiziertem nativen und Wasm-Output."
image: "https://wavect.io/img/general/bak/open_graph_preview.jpg"
---

PRE-ALPHA-FORSCHUNG · APACHE-2.0

# Die Systemsprache für Coding-Agenten, lesbar für Menschen.

Bedeutung rein. Verifizierter Maschinencode raus.

Der Quelltext bleibt eine klare menschliche Projektion. Coding-Agenten arbeiten mit typisierter Bedeutung, stabiler Identität, begrenztem Kontext und revisionsgebundenen Änderungen, statt Text auf Verdacht umzuschreiben.

semaprax://v0.2 Pre-Alpha-Forschung

```
revision  sha256:<program-state>
query     app.main --depth 1
context   typed · bounded · stable-id
patch     expected_revision == current
verify    fail_closed
target    native | browser/wasm
```

## Was ist Semaprax?

Semaprax ist eine experimentelle agent-native Systemsprache, die auf einem stabilen semantischen Programmgraphen aufbaut. Der v0.2-Prototyp ermöglicht Coding-Agenten, typisierte Bedeutung abzufragen, revisionsgebundene semantische Patches einzureichen und eine verifizierte Teilmenge in native Programme und Browser/Wasm-Pakete zu übersetzen.

// 01

## Ein Programm, drei Arbeitsflächen

Menschenlesbarer Quelltext, agentenlesbare Bedeutung und Maschinenausgabe entstehen aus demselben versionierten semantischen Zustand. Jeder Pfeil ist eine Evidenzgrenze.

1. **Menschenlesbarer Quelltext** Lesbare Syntax bleibt die Oberfläche für Autorschaft und Review.
2. **Semantischer Programmgraph** Stabile IDs machen Bedeutung, Kontext, Diagnosen und Patch-Ziele abfragbar.
3. **Verifizierter Output** Zugelassene Teilmengen werden deterministisch zu Native- oder Browser/Wasm-Artefakten.

[Semaprax semantic program graph](/de/semaprax/architecture/): Semaprax überführt menschenlesbaren Quelltext in validiertes HIR und einen versionierten semantischen Graphen. Agenten fordern begrenzten Kontext per stabiler ID an, prüfen oder senden einen Patch gegen eine exakte Revision und erhalten deterministische Diagnosen oder Evidenz vor dem nativen oder Wasm-Lowering.

// 02

## Die Hypothese, nicht die Schlagzeile

Semaprax prüft, ob ein Programmiersystem den Kontextbedarf und die Reparaturmehrdeutigkeit von Coding-Agenten senken kann. Niedrigere Modellkosten sind eine Hypothese, noch kein durch Token-, Latenz-, Qualitäts- oder Repository-Evidenz belegtes Ergebnis.

**UNBELEGTE HYPOTHESE** Weniger Agentenkontext und niedrigere Kosten im Repository-Maßstab

// 03

## Ein Forschungsindex mit genau einem Eigentümer pro Frage

Jede Seite beantwortet eine eigene Markenfrage, damit Such- und Antwortsysteme die autoritative Route eindeutig erkennen.

### [Architektur](/de/semaprax/architecture/)

Stabile IDs, Graph-Kontext und semantische Patches

### [Evidenz](/de/semaprax/evidence/)

Was v0.2 implementiert und wo es endet

### [Benchmarks](/de/semaprax/benchmarks/)

Kontextmessungen ohne Kostenversprechen

### [Interoperabilität](/de/semaprax/interoperability/)

Evidenzmatrix für Ziele und Ökosysteme

### [Roadmap](/de/semaprax/roadmap/)

Meilensteine, Ziele und offene Lücken

// 04

## Evidenzregister der Funktionen

| Aktueller Status | Evidenzstatus | Umfang | Evidenz |
| --- | --- | --- | --- |
| **Stabiler semantischer Programmgraph** | Implementiert | Versioniertes Graph-v10-v14-JSON für die dokumentierte typisierte Teilmenge, mit persistenten Identitäten und gemeinsamem validiertem HIR. | [GitHub-Repository](https://github.com/wavect/semaprax/blob/main/docs/ARCHITECTURE.md) |
| **Begrenzter Agentenkontext** | Implementiert | Agent Context v1 plus v2-Aufruftraversierung mit deterministischen Byte-, Knoten-, Tiefen- und Frontier-Grenzen. | [GitHub-Repository](https://github.com/wavect/semaprax/blob/main/docs/AGENT-CONTEXT-V2.md) |
| **Revisionsgebundene semantische Patches** | Implementiert | Atomic Patch v1 und begrenzte Patch-v2-Operationen mit exakten Revisionen, Stale-Ablehnung und semantischer Deltaprüfung. | [GitHub-Repository](https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-V2.md) |
| **Semantische Reviews und Evidenzkapseln** | Demonstriert | Begrenzte Review-, Impact-, Target-, Patch- und Workspace-Evidenzwege mit deterministischen Artefakten und Nichtaussagen. | [GitHub-Repository](https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-EVIDENCE-V2.md) |
| **Native- und Browser/Wasm-Lowering** | Demonstriert | Dokumentierte Sprach- und Ownership-Teilmengen durch C11/Clang und reale Node/Wasm-Gates. | [GitHub-Repository](https://github.com/wavect/semaprax/blob/main/docs/COMPLETION-MATRIX.md) |
| **Ownership-inspiriertes Speichermanagement** | Experimentell | Explizite own-, borrow- und shared-Grenzen, Move-Prüfung und begrenzte Cleanup-Protokolle. Keine Rust-Kompatibilität. | [GitHub-Repository](https://github.com/wavect/semaprax/blob/main/docs/OWNED-RESOURCE-VERTICAL-V1.md) |

// FAQ

## Fragen, ohne Hype beantwortet

### Ist Semaprax produktionsreif?

Nein. Semaprax ist Apache-2.0-Pre-Alpha-Forschung. Das Evidenzregister trennt begrenzte Implementierung von allgemeiner Fertigstellung.

### Ist Semaprax nur für KI-Agenten?

Nein. Der Quelltext soll für Menschen lesbar bleiben. Agent-native beschreibt Graph, Kontext, Diagnosen und Patch-Schnittstelle für Coding-Agenten.

Braucht dein KI-Produkt Engineering mit diesem Evidenzniveau?

Von Wavect als Open-Source-Forschungsprojekt für Programmiersysteme entwickelt. [GitHub-Repository](https://github.com/wavect/semaprax). Die GitHub-Spezifikationen sind die normative Quelle. Diese Seite ist eine datierte Forschungszusammenfassung.

## Structured Data

```json
{
  "@context": "https://schema.org",
  "@graph": [
    {
      "@id": "https://wavect.io/#organization",
      "@type": [
        "Organization",
        "ProfessionalService",
        "LocalBusiness"
      ],
      "employee": [
        {
          "@id": "https://wavect.io/team/kevin-riedl/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Kevin Riedl",
          "url": "https://wavect.io/team/kevin-riedl/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        },
        {
          "@id": "https://wavect.io/team/christof-jori/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Christof Jori",
          "url": "https://wavect.io/team/christof-jori/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        }
      ],
      "founder": [
        {
          "@id": "https://wavect.io/team/kevin-riedl/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Kevin Riedl",
          "url": "https://wavect.io/team/kevin-riedl/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        },
        {
          "@id": "https://wavect.io/team/christof-jori/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Christof Jori",
          "url": "https://wavect.io/team/christof-jori/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        }
      ],
      "legalRepresentative": [
        {
          "@id": "https://wavect.io/team/kevin-riedl/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Kevin Riedl",
          "url": "https://wavect.io/team/kevin-riedl/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        },
        {
          "@id": "https://wavect.io/team/christof-jori/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Christof Jori",
          "url": "https://wavect.io/team/christof-jori/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        }
      ],
      "name": "Wavect GmbH",
      "subjectOf": {
        "@id": "https://wavect.io/verified-claims.json#dataset",
        "@type": "Dataset",
        "creator": {
          "@id": "https://wavect.io/#organization",
          "@type": [
            "Organization",
            "ProfessionalService",
            "LocalBusiness"
          ]
        },
        "description": "A machine-readable registry of quantitative and qualitative claims published by Wavect, with review dates, localized page appearances and public third-party citations where available.",
        "inLanguage": "en",
        "isAccessibleForFree": true,
        "license": "https://creativecommons.org/licenses/by/4.0/",
        "name": "Wavect verified publication claims",
        "url": "https://wavect.io/verified-claims.json"
      },
      "url": "https://wavect.io/"
    },
    {
      "@id": "https://wavect.io/team/kevin-riedl/#person",
      "@type": "Person",
      "jobTitle": "Managing Director",
      "name": "Kevin Riedl",
      "sameAs": [
        "https://www.wikidata.org/wiki/Q139796365",
        "https://www.linkedin.com/in/wsdt",
        "https://github.com/wsdt"
      ],
      "url": "https://wavect.io/team/kevin-riedl/",
      "worksFor": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      }
    },
    {
      "@id": "https://wavect.io/team/christof-jori/#person",
      "@type": "Person",
      "jobTitle": "Managing Director",
      "name": "Christof Jori",
      "sameAs": [
        "https://www.wikidata.org/wiki/Q139796367",
        "https://www.linkedin.com/in/jocr77/",
        "https://github.com/jo-chris"
      ],
      "url": "https://wavect.io/team/christof-jori/",
      "worksFor": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      }
    },
    {
      "@id": "https://wavect.io/#website",
      "@type": "WebSite",
      "inLanguage": [
        "en",
        "de",
        "es",
        "zh"
      ],
      "name": "Wavect",
      "potentialAction": {
        "@type": "SearchAction",
        "query-input": "required name=search_term_string",
        "target": {
          "@type": "EntryPoint",
          "urlTemplate": "https://wavect.io/search/?q={search_term_string}"
        }
      },
      "publisher": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "url": "https://wavect.io/"
    },
    {
      "@id": "https://wavect.io/de/semaprax/#webpage",
      "@type": "WebPage",
      "dateModified": "2026-08-11",
      "inLanguage": "de",
      "isPartOf": {
        "@id": "https://wavect.io/#website",
        "@type": "WebSite"
      },
      "lastReviewed": "2026-08-11",
      "url": "https://wavect.io/de/semaprax/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/de/semaprax/#webpage",
        "@type": "WebPage",
        "inLanguage": "de",
        "url": "https://wavect.io/de/semaprax/"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": {
        "@type": "WebPage",
        "url": "https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-V2.md"
      },
      "dateModified": "2026-08-11",
      "identifier": "semaprax-v02-semantic-graph-patches",
      "inLanguage": "en",
      "text": "The Semaprax v0.2 prototype exposes a stable, queryable semantic program graph and revision-bound semantic patch operations for documented language subsets."
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-native-wasm-subsets",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/de/semaprax/#webpage",
        "@type": "WebPage",
        "inLanguage": "de",
        "url": "https://wavect.io/de/semaprax/"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": {
        "@type": "WebPage",
        "url": "https://github.com/wavect/semaprax/blob/main/docs/COMPLETION-MATRIX.md"
      },
      "dateModified": "2026-08-11",
      "identifier": "semaprax-v02-native-wasm-subsets",
      "inLanguage": "en",
      "text": "The Semaprax v0.2 repository demonstrates deterministic native C11/Clang and browser/Wasm execution for explicitly documented language subsets."
    }
  ]
}
```

```json
{
  "@context": "https://schema.org",
  "@graph": [
    {
      "@id": "https://wavect.io/de/semaprax/#webpage",
      "@type": "WebPage",
      "creator": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "dateModified": "2026-08-11",
      "description": "Semaprax ist eine experimentelle Systemsprache für Coding-Agenten mit stabilem semantischem Programmgraphen, semantischen Patches sowie verifiziertem nativen und Wasm-Output.",
      "inLanguage": "de",
      "mainEntity": {
        "@id": "https://wavect.io/semaprax/#software",
        "@type": "SoftwareSourceCode"
      },
      "name": "Semaprax: Agent-native Systemsprache für Coding-Agenten | Wavect",
      "url": "https://wavect.io/de/semaprax/"
    },
    {
      "@id": "https://wavect.io/semaprax/#software",
      "@type": "SoftwareSourceCode",
      "codeRepository": "https://github.com/wavect/semaprax",
      "creator": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "description": "Semaprax is an experimental agent-native systems programming language built around a stable semantic program graph. Its v0.2 prototype lets coding agents query typed meaning, submit revision-bound semantic patches, and lower a verified subset to native executables and browser/Wasm packages.",
      "license": "https://www.apache.org/licenses/LICENSE-2.0",
      "name": "Semaprax",
      "programmingLanguage": "Semaprax",
      "softwareVersion": "v0.2"
    },
    {
      "@id": "https://wavect.io/de/semaprax/#faq",
      "@type": "FAQPage",
      "inLanguage": "de",
      "mainEntity": [
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "Nein. Semaprax ist Apache-2.0-Pre-Alpha-Forschung. Das Evidenzregister trennt begrenzte Implementierung von allgemeiner Fertigstellung."
          },
          "name": "Ist Semaprax produktionsreif?"
        },
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "Nein. Der Quelltext soll für Menschen lesbar bleiben. Agent-native beschreibt Graph, Kontext, Diagnosen und Patch-Schnittstelle für Coding-Agenten."
          },
          "name": "Ist Semaprax nur für KI-Agenten?"
        }
      ],
      "url": "https://wavect.io/de/semaprax/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/de/semaprax/#webpage",
        "@type": "WebPage",
        "inLanguage": "de",
        "url": "https://wavect.io/de/semaprax/"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": {
        "@type": "WebPage",
        "url": "https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-V2.md"
      },
      "dateModified": "2026-08-11",
      "identifier": "semaprax-v02-semantic-graph-patches",
      "inLanguage": "en",
      "text": "The Semaprax v0.2 prototype exposes a stable, queryable semantic program graph and revision-bound semantic patch operations for documented language subsets."
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-native-wasm-subsets",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/de/semaprax/#webpage",
        "@type": "WebPage",
        "inLanguage": "de",
        "url": "https://wavect.io/de/semaprax/"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": {
        "@type": "WebPage",
        "url": "https://github.com/wavect/semaprax/blob/main/docs/COMPLETION-MATRIX.md"
      },
      "dateModified": "2026-08-11",
      "identifier": "semaprax-v02-native-wasm-subsets",
      "inLanguage": "en",
      "text": "The Semaprax v0.2 repository demonstrates deterministic native C11/Clang and browser/Wasm execution for explicitly documented language subsets."
    }
  ]
}
```

```json
{
  "@context": "https://schema.org",
  "@type": "BreadcrumbList",
  "itemListElement": [
    {
      "@type": "ListItem",
      "item": "https://wavect.io/de/",
      "name": "Startseite",
      "position": 1
    },
    {
      "@type": "ListItem",
      "item": "https://wavect.io/de/semaprax/",
      "name": "Semaprax",
      "position": 2
    }
  ]
}
```