Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)
Free
Scanned where there is a package or repository to read, and every release diffed against the tool surface we already hold.
Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)
Recursive Language Model - Process documents larger than LLM context windows
Wavelet-based multi-resolution context management for MCP