MCP server for Elle semantic analysis, backed by an RDF knowledge graph (oxigraph) and program transformation tools.
- Elle binary on PATH
- Plugins:
elle-oxigraph,elle-syn(from elle-lisp/plugins)
elle mcp-server.lispThe server communicates via JSON-RPC 2.0 on stdin/stdout.
| Tool | Purpose |
|---|---|
ping |
Health check |
sparql_query |
SPARQL SELECT / ASK / CONSTRUCT |
sparql_update |
SPARQL UPDATE (INSERT DATA, DELETE, etc.) |
load_rdf |
Load RDF data (turtle/ntriples/nquads/rdfxml) |
dump_rdf |
Serialize the store |
analyze_file |
Extract RDF triples from Elle/Rust source |
portrait |
Symbol portrait (what is this symbol?) |
signal_query |
Signal analysis (what properties does this have?) |
impact |
Impact analysis (what breaks if I change this?) |
verify_invariants |
Invariant verification |
compile_rename |
Rename refactoring |
compile_extract |
Extract refactoring |
compile_parallelize |
Parallelize refactoring |
trace |
Runtime trace |
elle test-mcp.lisp [path-to-elle-binary]# Extract Elle source graph
elle elle-graph.lisp path/to/file.lisp
# Extract Rust source graph (requires elle-syn plugin)
elle rust-graph.lisp path/to/file.rs
# Load both into oxigraph store
elle load-all.lisp