tesseract-ripple/prove
skills/prove/SKILL.md
Construct or verify a mathematical proof. Provide a claim/theorem and optionally a proof technique.
$ install --global
skillsauthnpx skillsauth add tesseract-ripple/claude-research-config proveInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: Apr 16, 2026, 5:23 PM7.5s1 file scanned
SKILL.md
- name:
- prove
- description:
- Construct or verify a mathematical proof. Provide a claim/theorem and optionally a proof technique.
- argument-hint:
- <claim to prove or verify>
The user wants a rigorous mathematical proof. Follow this process:
- Parse the claim. Restate it precisely with all quantifiers, domains, and assumptions explicit.
- Identify the technique. Choose the most natural proof method (direct, contradiction, induction, reduction, etc.). If the user specified one, use it.
- Outline first. Present a 3-5 step proof skeleton before writing the full proof.
- Execute. Write the complete proof with every step justified.
- Verify computationally. If feasible, use Python (sympy/galois/gmpy2 ) to check key steps, boundary cases, or small instances.
- Assess. Flag any steps that rely on non-obvious lemmas, and note if the proof generalizes.
If the user provides an existing proof to verify, be adversarial: actively hunt for gaps, unjustified steps, and edge cases.
Claim or context: $ARGUMENTS
Related Skills
tesseract-ripple/writeup
documentation
VerifiedTrustedCommunity
Draft or refine a LaTeX section for a research paper, note, or proof writeup.
1SKILL.mdUpdated Apr 16, 2026
tesseract-ripple/verify
development
VerifiedTrustedCommunity
Computationally verify a mathematical identity, construction, or cryptographic property using Python.
1SKILL.mdUpdated Apr 16, 2026
tesseract-ripple/validate-bib
testing
VerifiedTrustedCommunity
Cross-reference all citations in .tex files against bibliography entries. Find missing entries, unused references, and quality issues.
1SKILL.mdUpdated Apr 16, 2026
tesseract-ripple/survey
research
VerifiedTrustedCommunity
Survey a research topic — find approaches, compare tradeoffs, summarize key papers and results.
1SKILL.mdUpdated Apr 16, 2026