awesome-claude: HeyClaude is a curated, file-backed, human-reviewed directory for Claude agents, MCP servers, skills, hooks, commands, tools, prompts, rules, guides, templates, and statuslines. It serves as both an awesome-list catalog and a machine-readable registry for builders, with 388+ entries across 10 sections. The registry can be accessed via website, API, MCP server, Raycast extension, RSS feeds, and LLM export.; chiasmus: Chiasmus is an MCP server that integrates formal verification (Z3, Prolog) and code analysis (tree-sitter) to solve complex logical and structural problems. It translates natural language into formal logic using templates and provides verified results. It also analyzes source code call graphs for dead code, impact, and reachability.
Discover and integrate Claude agents, MCP servers, and tools for development workflows
Detect conflicts in access control rules