por Juanjo LunaResolver problemas de olimpiadas matemáticas
Te ayuda a resolver y verificar problemas de matemáticas de competición con un proceso de razonamiento y comprobación de errores. Sirve para problemas de olimpiadas, Putnam, USAMO o pruebas de este tipo.
Descripción original (inglés)
math-olympiad: Solve competition math problems (IMO, Putnam, USAMO, AIME) with adversarial verification that catches the errors self-verification misses. Activates when asked to 'solve this IMO problem', 'prove this olympiad inequality', 'verify this competition proof', 'find a counterexample', 'is this proof correct', or for any problem with 'IMO', 'Putnam', 'USAMO', 'olympiad', or 'competition math' in it. Uses pure reasoning (no tools) — then a fresh-context adversarial verifier attacks the proof using specific failure patterns, not generic 'check logic'. Outputs calibrated confidence — will say 'no confident solution' rather than bluff. If LaTeX is available, produces a clean PDF after verification passes.
Cómo instalarla
Una skill es una carpeta con un fichero SKILL.md. Para instalarla basta con copiar la carpeta math-olympiad en el sitio donde tu agente busca sus skills.
- Sin terminal: abre la carpeta en GitHub, descárgala y cópiala en la carpeta de tu agente (tabla de abajo).
- Con terminal (macOS, Linux o Git Bash en Windows): elige tu agente y copia los comandos.
git clone --depth 1 https://github.com/anthropics/claude-plugins-official.git /tmp/skill-src
mkdir -p ~/.claude/skills
cp -r "/tmp/skill-src/plugins/math-olympiad/skills/math-olympiad" ~/.claude/skills/math-olympiad
rm -rf /tmp/skill-src| Agente | Para todos tus proyectos | Solo un proyecto |
|---|---|---|
| Claude Code | ~/.claude/skills | .claude/skills |
| GitHub Copilot | ~/.copilot/skills | .github/skills |
| Codex | ~/.agents/skills | .agents/skills |
| Gemini CLI | ~/.gemini/skills | .gemini/skills |
Muchos agentes leen también .agents/skills. Reinicia el agente después de instalar. Antes de instalar una skill, revisa su SKILL.md y los scripts que incluya: se ejecutan con tus permisos.
Más skills de anthropics/claude-plugins-official
- Gestionar acceso a Discord access
- Gestionar acceso a iMessage access
- Gestionar acceso a Telegram access
- Desarrollar agentes para Claude Code agent-development
- Crear apps interactivas para MCP build-mcp-app
- Crear servidores MCP build-mcp-server
- Empaquetar servidores MCP build-mcpb
- Actualizar apps del Cardputer cardputer-buddy
Explicación redactada con ayuda de IA a partir de la descripción original.