# yogthos

> Open-source publisher. Listings imported from github.com/yogthos — credited to the original author with their license.

- **Listings:** 2
- **Total installs:** 0
- **Profile:** https://agentstack.voostack.com/s/yogthos
- **Website:** https://github.com/yogthos

## Published listings

- [Chiasmus](https://agentstack.voostack.com/l/mcp-yogthos-chiasmus) — MCP server · Free · security-reviewed — `agentstack add mcp-yogthos-chiasmus`
  Chiasmus is an MCP server that gives language models access to formal verification
- [Matryoshka](https://agentstack.voostack.com/l/mcp-yogthos-matryoshka) — MCP server · Free · security-reviewed — `agentstack add mcp-yogthos-matryoshka`
  MCP server for token-efficient large document analysis via the use of REPL state

---
Seller on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Install any with `agentstack add <slug>`.