a-lottes/aSPARK-graph

A lean, local knowledge graph that joins a repo's code to its aSPARK delivery artifacts (specs, plans, reviews, QA) — served over MCP and a CLI. Trace which code implements a user story, and see the story-level blast radius of a change. Deterministic, offline, no LLM.

Open on GitHub

3Stars on the repository

2Mods indexed here, across every type

29d agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

aspark-graph

a-lottes/aSPARK-graph

MCP server Claude CodeCodexCursor +2

A lean, local code-and-artifact knowledge graph that speaks SPARK. Runs locally from the aspark-graph Python package.

3 29d ago A tokens not measured original MIT