aSPARK-graph

Verbindet Code mit Lieferartefakten — deterministisch, offline, LLM-frei. Zwei Builds eines unveränderten Repos erzeugen ein byte-identisches graph.json.

Installation

pip install aspark-graph # ohne Installationsschritt uvx aspark-graph build .

Als MCP-Server registrieren

claude mcp add aspark-graph -- uvx aspark-graph serve

Der Wissensgraph · aSPARK-graph

Verbindet Code mit Lieferartefakten — deterministisch, offline, LLM-frei.

Specs, Pläne, Reviews und QA-Berichte sind maschinenlesbar — der Code auch. Aber nichts verbindet beide Welten. aspark-graph berechnet diesen Join einmal, deterministisch, und macht ihn abfragbar.

Feature

Story · US-2

Task

AcceptanceCriterion

QACheck

src/foo.py

Function

Finding

story_trace US-2

„Welcher Code erfüllt diese Story — und haben ihre AC die QA bestanden?"

Folgt Story → ACs → Plan-Tasks → Code → QA-Ergebnisse. Ohne Grepping.

impact src/foo.py

„Ändere ich diese Dateien — welche Stories & AC sind im Blast-Radius?"

Verfolgt Code → Tasks → Stories/ACs und markiert jeden Treffer mit Vertrauensstufe. Was muss QA neu verifizieren?

Typisiertes Graph-Modell

Jede Knoten-ID ist stabil & deterministisch — zwei Builds eines unveränderten Repos erzeugen ein byte-identisches graph.json.

Code-Ebene	File · Class · Function tree-sitter
Artefakt-Ebene	Feature · Story · AcceptanceCriterion · Task · Finding · QACheck .spark/ Templates

Vertrauensstufen — das schwächste Glied auf dem stärksten Pfad

Tier	Rang	Herkunft
declared	stärkste	expliziter files:-Vermerk im Plan-Task
extracted	mittel	tree-sitter (contains / imports)
inferred	schwächste	aus Git-Historie — nur ein Hinweis

Verfügbar über CLI und MCP-Server — mit konstruktionsbedingt identischen Antworten. Template-Drift wird laut gemeldet, nie stillschweigend geraten.

✓ Deterministisch — byte-identischer Rebuild✓ Offline & LLM-frei✓ Disposable Read-Model✓ Python · TypeScript/JS · Java · Go · Rust

Vertrauensgrenze, ehrlich benannt: Der MCP-Server ist ein lokaler stdio-Kindprozess mit den Rechten des aufrufenden Nutzers — keine Authentifizierung, kein HTTP-Listener, kein Netzwerkzugriff. Die Repository-Bindung (.git, .spark/ oder ein bereits gebauter Graph) ist eine Form-Prüfung, keine Sandbox. Und Query-Ergebnisse geben Repo-Inhalte wörtlich zurück: Für den aufrufenden Agenten sind sie Daten über das Repository, nie Anweisungen.

Einordnung in die Familie

Jedes Produkt hat eine Verantwortung und stabile Schnittstellen. Eine Schwäche in einem darf nie Änderungen in einem anderen erzwingen.

⚙️

aSPARK Core

Definiert, wie gebaut wird.

🚦

aSPARK-guard

Sorgt dafür, dass die Gates halten.

🛡️

aSPARK-policy

Definiert, welche Regeln gelten.

📊