Claude Code Skills
A comprehensive collection of 34 mathematically rigorous proofs covering algorithms, distributed systems, and formal verification at MIT master's thesis level. Includes 255+ peer-reviewed citations with implementations and statistical analysis for each proof.
- MIT Master Standard
- 255+ Paper Citations
- 4000x Algorithm Speedup
- 152500 State Verifications
- Algorithm paper writing
- Distributed system design
- Interview preparation
- Teaching reference
- More theoretical than engineering
- Requires mathematical background
openclaw/openclaw
openclaw
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
f/awesome-chatgpt-prompts
f
Share, discover, and collect prompts from the community. Free and open source — self-host for your organization with complete privacy.
Validated by 140k users, used by Harvard professors - turn you into an AI conversation expert in 3 seconds
anthropics/claude-code
anthropics
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflows - all through natural language commands.
Dramatically boosts development efficiency, handles complex Git operations with simple commands
anthropics/skills
anthropics
Public repository for Agent Skills
Official skill repository ensures quality, ready-to-use solutions for 90% professional needs
upstash/context7
upstash
Context7 MCP Server -- Up-to-date code documentation for LLMs and AI code editors
Solves the most frustrating problem in AI coding - outdated docs and hallucinated APIs
CherryHQ/cherry-studio
CherryHQ
AI Agent + Coding Agent + 300+ assistants: agentic AI desktop with autonomous coding, intelligent automation, and unified access to frontier LLMs.
Integrates top AI services with document processing and coding features, offering commercial-grade experience for free