Provides tools for semantic decomposition, proof search, knowledge graph operations, and neuro-symbolic reasoning that bridges neural LLMs with symbolic AI through RDF triples, lambda calculus, and compositional intelligence principles.
Provides graph-based semantic memory storage and retrieval using vector embeddings and SQLite, enabling relationship creation between memories and similarity-based search through natural language.
An MCP server for multilingual dictionary lookups with word relations such as synonyms, antonyms, and definitions, leveraging ConceptNet, Wiktionary, and Datamuse APIs.
Enables querying the LitCoin knowledge graph for nodes, edges, and relationships, with support for semantic similarity search over nodes and edges via MCP.