{"owner":"yogthos","github":"https://github.com/yogthos","claimed":false,"inventory":[],"indexed":[{"repo":"yogthos/chiasmus","github":"https://github.com/yogthos/chiasmus","description":"Chiasmus is an MCP server that gives language models access to formal verification","language":"TypeScript","stars":208,"topics":["formalmethods","llm","mcp","prolog","z3-smt-solver","ai-agents","ai-assistant","ai-tools","mcp-server"],"license":"Apache-2.0","category":"mcp-servers"},{"repo":"yogthos/Matryoshka","github":"https://github.com/yogthos/Matryoshka","description":"MCP server for token-efficient large document analysis via the use of REPL state","language":"TypeScript","stars":146,"topics":["ai-assistant","document-analysis","llm","llm-tools","mcp","mcp-server","model-context-protocol"],"license":"Apache-2.0","category":"mcp-servers"},{"repo":"yogthos/wavescope-mcp","github":"https://github.com/yogthos/wavescope-mcp","description":"Wavelet-based multi-resolution context management for LLMs via MCP","language":"TypeScript","stars":43,"topics":["agentic-ai","ai-assistant","llm","llm-tools","mcp","mcp-server","model-context-protocol","wavelet"],"license":null,"category":"mcp-servers"},{"repo":"yogthos/flatiron","github":"https://github.com/yogthos/flatiron","description":"A columnar database for analytics","language":"Clojure","stars":41,"topics":["clojure","database"],"license":"MIT","category":"databases-storage"}],"how_to_buy":"GET /r/yogthos/<repo> (Accept: application/json) for any listed repo here: tree, README, price and the checkout to pay (x402; rehearse first at its test twin, simulated money). Repos under 'indexed' are free: clone them from GitHub."}