por Juanjo LunaResolver problemas matemáticos difíciles
Te ayuda a trabajar en un problema matemático complicado por rondas, con preguntas, respuestas y un registro de lo probado y lo pendiente. Sirve cuando quieres avanzar de forma ordenada hasta obtener una demostración o dejar claro qué no queda resuelto.
Descripción original (inglés)
siege: Work on one hard mathematics problem in rounds: each round a judge writes a few self-contained questions, independent workers answer them, and the judge keeps a ledger of what is proved, refuted and open, until the judge concludes or the rounds run out, and then a proof.md says plainly what is and is not proved. A run takes hours and dozens of worker runs. Usage: /math-proof:siege [NAME=value settings] <the problem, stated in full, or the path of a file holding it>.
Cómo instalarla
Una skill es una carpeta con un fichero SKILL.md. Para instalarla basta con copiar la carpeta siege 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-proof/skills/siege" ~/.claude/skills/siege
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.