.fyi
SkillsMCPPluginsSubagents

Browse by category

DevOps & CI/CD SkillsProductivity & Workflow SkillsOther SkillsProduct & Project Management SkillsDocumentation & Knowledge SkillsCode Review & Refactor SkillsBackend & APIs SkillsAgent Meta & Communication SkillsResearch SkillsSecurity SkillsUX UI & Design SkillsTesting & QA SkillsSee all →

Every Claude Code skill, MCP server, plugin and subagent in one directory. Searchable, comparable, and one command from installed. Live stats from GitHub, npm and PyPI.

We're on Product HuntYour agent's app storeCheck it out →
Agent SkillsMCP ServersPluginsSubagentsCoding Agents
CollectionsOfficial publishersGlossaryFAQBlogSearchSavedFeedback
PrivacyTermsllms.txtSitemap

made with ♥ · © 2026 aaaa.fyi

Independent project · real data from public registries

home/mcp-servers/yogthos
home/mcp-servers/yogthos
yogthos avatar

yogthos

3 mcp servers · 728 total installs

View on GitHub
#Type
  1. 1yogthos avatarchiasmusNeurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)MCP ServersJun 2026606206
  2. 2yogthos avatarwavescope-mcpWavelet-based multi-resolution context management for MCPMCP ServersJun 202612241
  3. 3yogthos avatarmatryoshkaRecursive Language Model - Process documents larger than LLM context windowsMCP ServersMay 2026—145