tesseract-ripple/verify
skills/verify/SKILL.md
Computationally verify a mathematical identity, construction, or cryptographic property using Python.
$ install --global
skillsauthnpx skillsauth add tesseract-ripple/claude-research-config verifyInstall 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:24 PM7.8s1 file scanned
SKILL.md
- name:
- verify
- description:
- Computationally verify a mathematical identity, construction, or cryptographic property using Python.
- argument-hint:
- <expression, identity, or property to verify>
The user wants computational verification of a mathematical or cryptographic claim. Follow this process:
- Parse. Identify exactly what needs to be verified — an identity, a group law, a polynomial relation, a security property on small parameters, etc.
- Plan. Decide the right tool:
- Symbolic:
sympyfor algebraic identities, polynomial manipulations - Finite fields / number theory:
galois,gmpy2, orsympy.ntheory - Elliptic curves:
sympyor direct implementation overgalois - Brute force on small instances: plain Python loops
- Symbolic:
- Implement. Write a clean Python script. 4. Run. Execute and report results clearly.
- Interpret. Explain what the computation confirms (or refutes), and note any limitations (e.g., "verified for all primes < 1000 but this is not a proof").
Claim to verify: $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/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
tesseract-ripple/review-paper
testing
VerifiedTrustedCommunity
Comprehensive manuscript review covering technical correctness, proof validity, security analysis, and presentation quality. Simulates a top-venue referee report.
1SKILL.mdUpdated Apr 16, 2026