Search for a command to run...
2 MCPs · 0 installs total
Recursive Language Model - Process documents larger than LLM context windows
MCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog, plus tree-sitter-based source code analysis. Translates natural language problem
Unyly