Zaoqu-Liu/theorem-proving
skills/prismer-theorem-proving/SKILL.md
Construct and verify mathematical proofs using LaTeX typesetting and computational verification via jupyter_execute
$ install --global
skillsauthnpx skillsauth add Zaoqu-Liu/ScienceClaw theorem-provingInstall 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 22, 2026, 4:29 AM137.1s1 file scanned
SKILL.md
- name:
- theorem-proving
- description:
- Construct and verify mathematical proofs using LaTeX typesetting and computational verification via jupyter_execute
Theorem Proving Skill
Description
Assist with constructing, verifying, and typesetting mathematical proofs. Combines rigorous logical reasoning with computational verification.
Tools Used
latex_compile- Typeset proofs and mathematical documents (auto-switches to LaTeX editor)update_latex- Write LaTeX content to the editor for review before compilingjupyter_execute- Verify results computationally (sympy, numpy)update_notes- Write proof outlines and scratch work to Notes editor
Capabilities
Proof Construction
- Direct proofs, proof by contradiction, proof by induction
- Constructive and non-constructive existence proofs
- Epsilon-delta arguments in analysis
- Diagram chasing in algebra/category theory
Verification
- Symbolic computation to check algebraic manipulations
- Numerical examples to build intuition
- Counterexample search for false conjectures
- Automated checking of special cases
Typesetting
- AMS theorem environments (theorem, lemma, proposition, corollary, definition)
- Proper mathematical notation and spacing
- Cross-references and equation numbering
- Multi-part proofs with clear structure
Usage Patterns
Prove a Theorem
When user says: "Prove that [statement]"
- Clarify definitions and assumptions
- Outline proof strategy
- Construct formal proof step-by-step
- Verify key steps computationally if possible
- Typeset in LaTeX with proper environments
Verify a Conjecture
When user says: "Is it true that [conjecture]?"
- Test with specific examples (jupyter_execute)
- Search for counterexamples
- Attempt proof if examples support it
- Report findings with confidence level
Related Skills
Zaoqu-Liu/pytdc
testing
VerifiedTrustedCommunity
Therapeutics Data Commons. AI-ready drug discovery datasets (ADME, toxicity, DTI), benchmarks, scaffold splits, molecular oracles, for therapeutic ML and pharmacological prediction.
44SKILL.mdUpdated Apr 22, 2026
Zaoqu-Liu/pysam
tools
VerifiedTrustedCommunity
Genomic file toolkit. Read/write SAM/BAM/CRAM alignments, VCF/BCF variants, FASTA/FASTQ sequences, extract regions, calculate coverage, for NGS data processing pipelines.
44SKILL.mdUpdated Apr 21, 2026
Zaoqu-Liu/pyopenms
development
VerifiedTrustedCommunity
Complete mass spectrometry analysis platform. Use for proteomics workflows feature detection, peptide identification, protein quantification, and complex LC-MS/MS pipelines. Supports extensive file formats and algorithms. Best for proteomics, comprehensive MS data processing. For simple spectral comparison and metabolite ID use matchms.
44SKILL.mdUpdated Apr 21, 2026
Zaoqu-Liu/pymoo
development
VerifiedTrustedCommunity
Multi-objective optimization framework. NSGA-II, NSGA-III, MOEA/D, Pareto fronts, constraint handling, benchmarks (ZDT, DTLZ), for engineering design and optimization problems.
44SKILL.mdUpdated Apr 21, 2026