V0.8.0 BETA · APACHE-2.0

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

Lesbarer Quellcode. Abfragbare Bedeutung. Geprüfte Änderungen.

Gib Coding-Agenten Zugriff auf die Typen, Verträge und Beziehungen hinter deinem Code. Semaprax 0.8.0 verbindet Regeln im Quellcode und Beweiswerkzeuge, eine erweiterte Rust-Integration, Entwicklungswerkzeuge, geprüften Hot Reload und Tokenberichte pro Aufgabe in einer Beta-Toolchain. Beginne mit einem kleinen Programm und ergänze die Bausteine, die dein Projekt braucht.

Release v0.8.0 erkunden Belegte Funktionen ansehen Aktuelles englisches Handbuch lesen

semaprax://v0.8.0beta

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

// STATUS

Repository-Status zum geprüften Snapshot

Repository-Snapshot	`615e501` · 2026-10-06. Das Tag v0.8.0 verweist auf den festgehaltenen Quellcommit. Die exakte Tag-CI war erfolgreich. Daraus folgt keine allgemeine Produktions- oder Sicherheitsgarantie.
Status des Gesamtprodukts	55 Teilweise · 0 Implementiert · 0 Fehlend
Graph- und Projektvertrag	Kanonischer Quellcode, stabile IDs und geprüfte Compiler-Repräsentationen verbinden Regeln, semantische Abfragen, Änderungen und Ausführung. Die je nach Feature gewählten Graph- und Project-Schemas behalten ihre eigenen Vorgaben für Zulassung, Kompatibilität und Host-Berechtigungen.
Veröffentlichte Betaversion	`v0.8.0` · Veröffentlicht am 6. Oktober 2026 um 07:37 UTC. Alle 82 Jobs für den exakten Release-Tag waren erfolgreich. Veröffentlicht wurden drei Toolchain-Archive, SHA256SUMS, Attestierungen für jedes Archiv und eine signierte gemeinsame Herkunftsdokumentation. Der Release-Job prüfte den signierten Satz vor der Veröffentlichung unabhängig. Die Archive sind nicht notarisiert; reproduzierbare Builds werden nicht zugesichert. Eine Offline-Prüfung bestätigt keinen aktuellen Widerrufsstatus. Exakte Tag-CI.
Paket- und API-Vorschau	Die Veröffentlichung enthält nutzbare Profile für die Sprache, Quellcode-Regeln, Entwicklungswerkzeuge und Host-Integrationen. Für generierte Rust/npm-Pakete, öffentliche generische ABIs und weitere Plattformen gelten weiterhin eigene Entscheidungen über Veröffentlichung und Unterstützung.

Was ist Semaprax?

Semaprax ist eine quelloffene Systemprogrammiersprache für KI-Agenten in der Betaphase. Lesbarer .spx-Quellcode bleibt in Git, während Coding-Agenten die typisierte Programmbedeutung abfragen, Regeln im Quellcode prüfen und Änderungen für eine konkrete Revision vorschlagen. Version 0.8.0 umfasst außerdem typisierte Laufzeit-Agents, eine mit dem Compiler verbundene Entwicklungsumgebung und klar begrenzte Integrationen mit Rust, nativer Ausführung und WebAssembly.

// v0.8.0

Was v0.8.0 verändert

Sechs praktische Fortschritte im Quellcode von 0.8.0 und in der veröffentlichten Beta-Toolchain.

Regeln direkt im Quellcode

Deklariere stabile Regeln, wähle das Beweisinventar und prüfe unterstützte Lean/Z3-Beweispflichten erneut. Repariere Funktionskörper, während die beabsichtigte Anforderung geschützt bleibt.

Evidenz

Erweiterte Rust-Integration

Ausgewählte Rust-APIs, generierte Adapter für Besitzer und Callbacks sowie echte Regex/Url-, Serde/Iterator- und Tokio/reqwest-Anwendungen erweitern die Anbindung über skalare Demos hinaus.

Evidenz

Entwicklungswerkzeuge mit Compiler-Anbindung

Verbinde semantischen Kontext mit je Projekt ausgewählten Anbietern, Graft/Graphify, RTK-Ansichten, offiziellen Ponytail/Caveman-Skills und expliziten Regeln für die Modellauswahl.

Evidenz

Geprüftes Neuladen während der Entwicklung

Der Befehl dev und die VS-Code-Steuerung validieren Kandidaten, warten auf einen sicheren Aktivierungszeitpunkt und erhalten das aktive Programm nach einer ungültigen Änderung.

Evidenz

Berichte zu Tokens und Aufgabenkosten

Vergleiche exakte Kontextinhalte, prüfe Einsparungen und Verschlechterungen in Sitzungen und unterscheide Anbieterbelege von Reservierungen und geschätzten Kosten.

Evidenz

Geprüfter Satz von Release-Dateien

Alle 82 Jobs für den exakten Release-Tag waren erfolgreich. Drei vorkompilierte Archive enthalten Prüfsummen, Build-Attestierungen und unabhängig geprüfte, signierte Herkunftsnachweise.

Evidenz

// v0.8.0

Lieber ein vorkompiliertes Kommandozeilenwerkzeug?

Version 0.8.0 bietet Archive für Apple-Silicon-macOS, Linux x86-64 GNU und Windows x86-64 MSVC. Diese Veröffentlichung enthält keinen grafischen Installer. Jedes Archiv enthält die vollständige Toolchain unter dem Namen semaprax sowie semapraxd und ein Smoke-Beispiel. Bei einer Installation aus dem Quellcode trägt der vollständige Build weiterhin den eigenen Namen semaprax-full.

macOS · Apple Silicon

aarch64-apple-darwin

Archiv herunterladen

Linux · x86-64 (GNU)

x86_64-unknown-linux-gnu

Archiv herunterladen

Windows · x86-64 (MSVC)

x86_64-pc-windows-msvc

Archiv herunterladen

Wähle das Archiv für dein Betriebssystem und deine CPU. Die GitHub-Downloads unter Source code sind Repository-Snapshots, keine vorkompilierten Programme.
Prüfe SHA256SUMS, bevor du das Archiv für deine Plattform entpackst. Füge das entpackte Verzeichnis zu PATH hinzu oder rufe semaprax über den vollständigen Pfad auf.
Führe semaprax --version aus und prüfe und starte anschließend die enthaltene Datei smoke/meaning.spx aus dem entpackten Verzeichnis. Sie liefert 42. Native Builds benötigen Clang; die Webbeispiele verwenden Node.js 22+.
Sammle zur Prüfung der signierten Herkunftsnachweise alle drei Archive und die signierten Metadaten in einem Verzeichnis. Folge dann der verlinkten Anleitung für semaprax release verify <release-dir>. Das Ergebnis muss die kryptografische Offline-Verifizierung bestätigen; eine erfolgreiche Prüfung ohne Signatur bestätigt keine Signatur.

SHA256SUMS · Prüfsummen und signierte Herkunftsnachweise · Release-Manifest · Release-Eintrag

// CLI

Das erste geprüfte Programm starten

Quellcode-Installation mit festgehaltenem Commit. Benötigt Git und Rust/Cargo 1.88+. Der erste Cargo-Lauf kann Abhängigkeiten laden. Diese check/run-Befehle brauchen weder Clang noch Node.js oder einen KI-Anbieter; das Programm liefert 42.

git clone https://github.com/wavect/semaprax.git
cd semaprax
git checkout --detach 615e501612895a52b3fdd72a03baf875a8f0df1b
cargo run --locked -p semaprax -- check examples/meaning.spx
cargo run --locked -p semaprax -- run examples/meaning.spx

Installation und Voraussetzungen im Handbuch

// PROJECT

Einmal installieren, dann ein Projekt anlegen

Fahre im selben, auf den Release fixierten Repository-Checkout fort. Cargo installiert die eigenständige CLI; die folgende PATH-Zeile gilt für Bash und Zsh. Der generierte Rechner enthält Quellcode, ein Manifest, Tests und AGENTS.md. Wähle ein neues Zielverzeichnis. new verwendet mitgelieferte Dateien, initialisiert kein Git und kontaktiert keine Paketregistry.

cargo install --locked --path . --bin semaprax
export PATH="$HOME/.cargo/bin:$PATH"
semaprax --version
semaprax new first-semaprax
semaprax check first-semaprax/semaprax.toml
semaprax test first-semaprax/semaprax.toml
semaprax run first-semaprax/semaprax.toml

// AGENT

Gib deinem Coding-Agenten einen präzisen Ausgangspunkt

Prüfe vom Repository-Stamm aus dasselbe Programm anhand seiner stabilen Identität. Graph, context und die installierte Sprachhilfe sind Einstiegspunkte ohne Schreibzugriff. Eine spätere semantische Änderung braucht die aktuelle Revision, eine unterstützte Operation und einen expliziten Schritt zur Anwendung.

semaprax graph examples/meaning.spx
semaprax context examples/meaning.spx app.main --depth 1 --max-bytes 65536 --max-nodes 256
semaprax context examples/meaning.spx math.add --depth 1 --filters contracts
semaprax help language
semaprax help diagnostic SPX-T208

// 01

Ein Programm, drei verbundene Ansichten

Menschen bearbeiten lesbaren Quellcode, Werkzeuge fragen geprüfte Bedeutung ab und unterstützte Ziele führen das zugelassene Programm aus. Jedes Ziel und jede Integration legt fest, welche Sprachfeatures es akzeptiert.

Lesbarer QuellcodeKanonische .spx-Dateien, stabile Deklarations-IDs, Verträge, Regeln und explizites Ownership. Die normalen Befehle check und run benötigen kein Modellkonto.
Geprüfte Bedeutung für WerkzeugeVom Compiler abgeleiteter Kontext, Auswirkungen, Kandidatenprüfung und Beweispflichten. Die Entwicklungswerkzeuge können diesen semantischen Kern um ausgewählte Suchverfahren, Skills und Modellanbieter ergänzen.
Kontrollierte AusführungInterpreter, zugelassene C11/Clang- und Core-Wasm-Profile sowie typisierte Laufzeit-Agents, deren Modellvorschläge vor externen Operationen eine deterministische Autorisierung durchlaufen.

Semantischer Programmgraph von Semaprax: Semaprax prüft lesbaren .spx-Quellcode und löst ihn in HIR auf, die typisierte Repräsentation des Compilers. Quellcode und semantische Identitäten binden Abfragen, Beweispflichten, Kandidatenänderungen und Ausführung an das untersuchte Programm. Coding-Agenten können die Werkzeuge rund um diesen Kern nutzen. Laufzeit-Agents dekodieren separat Vorschläge, autorisieren Effekte und ändern ihren Zustand unter explizit bereitgestellten Host-Berechtigungen.

// 02

Jede vorgeschlagene Änderung leichter prüfen

Stabile Identitäten lassen einen Agenten eine Deklaration gezielt ansprechen. Begrenzter Kontext erklärt ihre Rolle. Verträge und gesondert ausgewählte Regeln setzen der Implementierung Grenzen; Kandidatenprüfung und Replay prüfen die Änderung vor der Anwendung. Die Entwicklungswerkzeuge erfassen tatsächliche Nutzung und Aufgabenergebnisse, damit sich Effizienzversprechen anhand von Nachweisen prüfen lassen.

DAS ERGEBNIS MESSEN Weniger Mehrdeutigkeit bei Reparaturen, mit getrennten Prüfungen für Aufgabenkosten und Korrektheit

// 03

Finde die Antwort auf deine konkrete Frage

Das Handbuch erklärt die praktischen Schritte. Die Architektur beschreibt das Programmiermodell, die Nachweise zeigen implementierte Profile, die Benchmarks liefern Messungen und die Interoperabilität erklärt die Anbindung an deinen bestehenden Stack.

architecture

Architektur

Regeln im Quellcode, semantische Graphen, Agents und Entwicklungswerkzeuge

evidence

Evidenz

Was v0.8.0 implementiert und wo die Grenzen liegen

benchmarks

Benchmarks

Gemessene Tokens, Aufgabenkosten und Laufzeiten

interoperability

Interoperabilität

Evidenzmatrix für Ziele und Ökosysteme

roadmap

Roadmap

Meilensteine, Ziele und offene Lücken

// 04

Evidenzregister der Funktionen

Aktueller Status	Evidence state	Umfang	Evidenz
Maßgeblicher Quelltext und stabile Identität	Teilweise	Lesbarer `.spx`-Quelltext bleibt die maßgebliche Darstellung in Git. Explizite `@id`-Werte identifizieren Deklarationen unabhängig von unterstützten Namensänderungen. Die Revision bindet kanonischen Quelltext und das implizite Compiler-Prelude, nicht zufällige Quellpositionen oder ein Graph-Drahtformat.	GitHub-Repository
Begrenzter Kontext und kompakte Projektionen	Teilweise	Exakten Graph- oder Aufgabenkontext mit Grenzen für Tiefe, Richtung, Knoten und Bytes wählen. Model-text v2 verringert Tokens bei ausgewählten großen Eingaben und vergrößert kleine. Berichte erhalten Tokenizer und Vergleichsgrenze.	GitHub-Repository
Semantische Änderungen statt beliebiger Neufassungen	Teilweise	Kontext prüfen, Kandidat ableiten, Auswirkungen ansehen, reviewen, Prüfungen reproduzieren und erst dann explizit anwenden. Neben Umbenennungen gibt es begrenzten Ausdrucksersatz, Strukturänderungen und definierte Rebase/Merge-Komposition. Jedes Protokoll behält eigene Revisions-, Identitäts- und Operationsgrenzen.	GitHub-Repository
Kontrollierte Veröffentlichung ist eine eigene Grenze	Teilweise	Verwaltete Workspace-Generationen, Kandidatenevidenz, Project-Revisionsspeicher und MCP-Workflows behalten explizite Schreib- und Veröffentlichungsbefugnisse. Multi-File-Validierung aktualisiert nicht beliebige Pfade, Git oder Editoren atomar. Die Rust-Embedding-API bietet begrenzte Eingaben, Abbruch und gekapselte Sitzungen, keinen freien Host-Zugriff.	GitHub-Repository
Replay-fähige semantische Evidenz	Teilweise	Evidenz bindet geprüfte Fakten und Kandidatenänderungen an Quellen und Revisionen. Ein Beleg kann Prüfung oder Ablehnung unterstützen, erteilt aber keine Ausführungs-, Änderungs- oder Veröffentlichungsbefugnis.	GitHub-Repository
Mehrmodulprojekte und Offline-Projektvorlagen	Teilweise	Manifeste definieren deklarierte Quellen, Einstiegspunkte, Tests und Exporte. Die mitgelieferten Vorlagen für Rechner, Bibliothek und Dienst haben eigene Profile. new erzeugt ein neues Projekt aus einkompilierten Dateien. Quellcode-Prüfung, interpretierte Tests und Ziel-Builds folgen dem ausgewählten Manifestvertrag.	GitHub-Repository

// DOCS

Das Semaprax-Handbuch öffnen

Das Online-Handbuch ist die englische Anleitung aus main und kann Änderungen nach 0.8.0 behandeln. Nutze den fixierten Snapshot, um diese Veröffentlichung nachzuvollziehen.

Aktuelles Handbuch

Der aktuelle englische Lernpfad, veröffentlicht aus main.

Handbuch-Snapshot von 0.8.0

Die Handbuchdateien am exakt geprüften Release-Commit.

Dein erstes Projekt erstellen

Aktuelle englische Anleitung zu Rechner-Manifest, Prüfungen, Tests und Builds.

Die Grundlagen der Sprache lernen

Aktuelle englische Einführung in Werte, Funktionen und Quellcodestruktur.

Mit einem Coding-Agenten arbeiten

Aktuelle englische Anleitung zu semantischem Kontext und sicheren Änderungsabläufen.

CLI-Referenz für 0.8.0

Fixierte Befehlsformen und die Abgrenzung zwischen eigenständiger CLI und vollständiger Toolchain.

VS-Code-Erweiterung

Fixierte Einrichtung, semantische Navigation, Review und Entwicklungssteuerung.

Ausführbare Beispiele

Fixierte Beispiele für Sprache, Projekte, Regeln, Agents und Host-Integrationen.

// REF

Primärquellen für diese Seite

Geprüft anhand des Tags v0.8.0 und seines festgehaltenen Quellcommits. Versionierte Spezifikationen definieren Zulassung und Befugnisse; ältere Release-Überschriften in Matrix und Roadmap sind historisch.

// FAQ

Fragen und praktische Antworten

Ist Semaprax produktionsreif?

Version 0.8.0 ist eine Beta unter Apache-2.0, veröffentlicht am 6. Oktober 2026. Du kannst sie installieren, Programme ausführen und die implementierten Profile ausprobieren. Ein erfolgreicher Release für den exakten Tag begründet keine Produktionsunterstützung. Die Gesamtzielmatrix führt weiterhin 55 Anforderungen als Partial.

Ist Semaprax nur für KI-Agenten?

Du kannst gewöhnliche .spx-Programme ohne KI-Modell oder Konto schreiben, prüfen und ausführen. Coding-Agenten nutzen semantischen Kontext und unterstützte Änderungen über die Werkzeuge. Im Quellcode definierte Laufzeit-Agents sind eine eigene typisierte Programmierabstraktion. Das englische Handbuch erklärt beide Wege.

Braucht dein KI-Produkt Engineering mit diesem Evidenzniveau?

Wavects AI Engineering ansehen.

Von Wavect als Open-Source-Forschungsprojekt für Programmiersysteme entwickelt. GitHub-Repository. Geprüft anhand des Tags v0.8.0 und seines festgehaltenen Quellcommits. Versionierte Spezifikationen definieren Zulassung und Befugnisse; ältere Release-Überschriften in Matrix und Roadmap sind historisch.