Servers by @The-40-Thieves

All 3 servers published to the MCP Registry under the io.github.The-40-Thieves namespace.

3 servers

@The-40-Thieves / AI Models & Agents

Model-agnostic, agent-ready Obsidian MCP server with RBAC, SLSA provenance, and native search.

@The-40-Thieves / Developer Tools

Code & logic calculator for AI agents: 31 languages, symbolic math, SMT/logic solving, Big-O.

@The-40-Thieves / AI Models & Agents

Search, read, and cite across 152 libraries: 11 tools, 3 prompts, and a full-text resource.