Math Olympiad

Matematyka olimpijska z niezależną weryfikacją dowodów

Instalacja

Oficjalna

Claude Code: /plugin marketplace add anthropics/claude-plugins-official → /plugin install math-olympiad@claude-plugins-official

Uruchamia się przy

IMO, Putnam ya da USAMO düzeyinde bir problem ispatla çözülürken

Wymaga narzędzi

ReadWrite

Autor: Anthropic

Repozytoriumhttps://github.com/anthropics/claude-plugins-official

W zadaniach olimpijskich szczególnie niebezpieczny jest dowód, który brzmi przekonująco, ale jest błędny, a samodzielna weryfikacja często tego nie wykrywa. Wtyczka przekazuje rozwiązanie niezależnym weryfikatorom ze świeżym kontekstem, którzy szukają znanych typów błędów, i woli uczciwe „nie potrafię tego wykazać” od pewnie podanego pozornego dowodu. Kluczowym elementem projektu jest rozdzielenie roli rozwiązującego od roli sceptyka.

Komentarze(0)

Zaloguj się, aby skomentować

Nie ma jeszcze komentarzy — napisz pierwszy.

Podobne umiejętności

Performance Optimization

Umiejętność

Najpierw pomiar, potem naprawa i ponowny pomiar

Procesy programistyczne

Error Handling Patterns

Umiejętność

Rozstrzyga, które błędy są wartościami, a które wyjątkami

Procesy programistyczne

Learning Output Style

Umiejętność

Oddaje użytkownikowi klawiaturę w kluczowych momentach decyzji

Procesy programistyczne