chiasmus

★ 217

vs

Matryoshka

★ 150

chiasmus vs Matryoshka

chiasmus: Chiasmus is an MCP server that integrates formal verification (Z3, Prolog) and code analysis (tree-sitter) to solve complex logical and structural problems. It translates natural language into formal logic using templates and provides verified results. It also analyzes source code call graphs for dead code, impact, and reachability.; Matryoshka: Matryoshka (RLM) addresses the limitation of fixed LLM context windows by using a recursive language model approach. Instead of chunking or RAG, the LLM outputs commands in a constrained symbolic language called Nucleus, which are executed by the Lattice logic engine. This reduces entropy, enables safe execution, and achieves 97% token savings through handle-based storage.