mirror of
https://github.com/anthropics/claude-plugins-official.git
synced 2026-04-22 01:12:44 +00:00
3c9bf4ff5d
The skill that addresses the Proof-or-Bluff gap: self-verified 85.7% IMO becomes <5% under human grading. Uses fresh-context verifiers armed with specific failure patterns (not generic 'check logic'). Validated: 17/18 IMO+Putnam 2025 solved, 0 false positives, 2 novel proofs. See eval data in anthropic monorepo sandbox/sandbox/ralph/math_skills/.
5 lines
205 B
Bash
Executable File
5 lines
205 B
Bash
Executable File
#!/bin/bash
|
|
# Exit 0 if a LaTeX compiler is available, 1 otherwise.
|
|
# Used by SKILL.md to decide whether to offer PDF compilation.
|
|
command -v pdflatex >/dev/null 2>&1 || command -v xelatex >/dev/null 2>&1
|