yogthos/
chiasmus
yogthos/chiasmusConnectors
Chiasmus is an MCP server that gives language models access to formal verification
211
About
Author of the Luminus framework and Web Development with Clojure book.
Repos · 3
yogthos/
Matryoshka
yogthos/MatryoshkaConnectors
MCP server for token-efficient large document analysis via the use of REPL state
148
yogthos/
wavescope-mcp
yogthos/wavescope-mcpConnectors
Wavelet-based multi-resolution context management for LLMs via MCP
45
Not seeing a repo? Add it, or type sandbx.ai/yogthos/repo-name.
What people say
No comments on yogthos's repos yet.