Claude Code Aristotle Plugin
This Claude Code plugin is your ultimate wingman for mathematical proofs and code verification. It transforms vague ideas into rigorous Lean 4 proofs, or X-rays your code to find hidden bugs. Picture having an IMO gold medalist on call to check your work—that's the vibe.
- 96.8% VERINA benchmark accuracy
- Solved decades-old Erdos problems
- Contributor to Mathlib and Quantum Lemma
- 3-6 minute verification speed
- Graduate students racing against thesis deadlines
- Last-minute algorithm correctness checks before tech interviews
- Safety net when refactoring mission-critical code
- Math enthusiasts tackling unsolved problems
- Limited to Lean 4.24.0 environment
- Custom libraries require special handling
x1xhlol/system-prompts-and-models-of-ai-tools
x1xhlol
FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, Leap.new, Lovable, Manus, NotionAI, Orchids.app, Perplexity, Poke, Qoder, Replit, Same.dev, Trae, Traycer AI, VSCode Agent, Warp.dev, Windsurf, Xcode, Z.ai Code, Dia & v0. (And other Open Sourced) System Prompts, Internal Tools & AI Models
300k+ lines of real system prompts let you develop from the perspective of AI tool creators
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
obra/superpowers
obra
An agentic skills framework & software development methodology that works.
Not just coding but organizing development workflow - like getting a free technical lead
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
affaan-m/everything-claude-code
affaan-m
Complete Claude Code configuration collection - agents, skills, hooks, commands, rules, MCPs. Battle-tested configs from an Anthropic hackathon winner.
37k stars validate its practical essence, directly improving code quality and development efficiency
ComposioHQ/awesome-claude-skills
ComposioHQ
A curated list of awesome Claude Skills, resources, and tools for customizing Claude AI workflows
Seamlessly integrates with your toolchain, automates routine tasks so you can focus on creative work