published by the-40-thieves

3 listings on this page, in order of arrival. Each one has its own page with README, repository facts and source links.

1. codecalc ★ 3
   Code & logic calculator for AI agents: 31 languages, symbolic math, SMT/logic solving, Big-O.
2. Obsidian Turbocharged ★ 5
   Model-agnostic, agent-ready Obsidian MCP server with RBAC, SLSA provenance, and native search.
3. Alexandria
   Search, read, and cite across 152 libraries: 11 tools, 3 prompts, and a full-text resource.