An MCP server that gives LLMs structured, verifiable memory by storing facts in a knowledge graph and enabling logic-based reasoning through natural dialogue.
