@yogthos · 2 items
Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)
Recursive Language Model - Process documents larger than LLM context windows