freshcrate

Packages by yogthos

yogthos2 packages⭐ 153 total stars
TypeScriptMCP Servers
2 results found
Matryoshka📁main@2026-04-18🌿 Growing⭐119

MCP server for token-efficient large document analysis via the use of REPL state

ai-assistantdocument-analysisllmllm-toolsmcpmcp-servermodel-context-protocoltypescriptby yogthosTypeScript
chiasmus📁main@2026-04-19🌱 Seedling⭐34

Chiasmus is an MCP server that gives language models access to formal verification

typescriptby yogthosTypeScript