proof-copilot

Official prompts.chat marketplace - AI prompts, skills, and tools for Claude Code

Open Design — local-first design app exposed to coding agents over MCP. Install once with your agent's plugin command and projects/files/skills are reachable through stdio.

Behavioral guidelines to reduce common LLM coding mistakes, derived from Andrej Karpathy's observations