Disentinel

Semantic code graph MCP server for AI coding agents. Indexes your codebase into a typed graph (functions/types/modules as nodes; CALLS/IMPORTS/DATAFLOW/EFFECTS

Grafema builds a queryable knowledge graph of your codebase and allows you to enforce structural invariants and query the system using Datalog or Cypher.