2 listings · 0 installs
Open-source publisher. Listings imported from github.com/yogthos — credited to the original author with their license.
mcp-yogthos-chiasmus · by yogthos
Chiasmus is an MCP server that gives language models access to formal verification
mcp-yogthos-matryoshka · by yogthos
MCP server for token-efficient large document analysis via the use of REPL state
