Навык
Math Olympiad
Решает олимпиадные задачи с независимой проверкой доказательств
Установка
ОфициальныйClaude Code: /plugin marketplace add anthropics/claude-plugins-official → /plugin install math-olympiad@claude-plugins-official
Условия запуска
IMO, Putnam ya da USAMO düzeyinde bir problem ispatla çözülürken
Нужны инструменты
ReadWrite
- Автор
- Anthropic
В олимпиадных задачах особенно опасно убедительно написанное, но неверное доказательство, а самопроверка часто не замечает именно такие ошибки. Плагин передаёт решение независимым проверяющим с чистым контекстом, которые ищут известные типы изъянов, и предпочитает честное «я не могу это доказать» уверенной имитации доказательства. Главный принцип подхода — разделение ролей решателя и скептика.
Похожие навыки
Performance Optimization
НавыкСначала профиль, затем узкое место, исправление и новый замер
Рабочие процессы программирования
Error Handling Patterns
НавыкОпределяет, какие сбои — значения, а какие — исключения
Рабочие процессы программирования
Learning Output Style
НавыкПередаёт вам клавиатуру в ключевых точках принятия решений
Рабочие процессы программирования

Комментарии(0)
Войдите, чтобы комментировать