Ultimate collection of Claude Code tips, tricks, hacks, and workflows that you can use to master Claude Code in minutes

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc