3 servers published under the-40-thieves. 0 answered our last handshake, 0 did not, and between them they expose 0 tools.
3 servers 0 answering 0 not responding 2 483 installs/wk
Model-agnostic, agent-ready Obsidian MCP server with RBAC, SLSA provenance, and native search.
Search, read, and cite across 152 libraries: 11 tools, 3 prompts, and a full-text resource.
Code & logic calculator for AI agents: 31 languages, symbolic math, SMT/logic solving, Big-O.