theorem-proving
Construct and verify mathematical proofs using LaTeX typesetting and computational verification via jupyter_execute
Best use case
theorem-proving is best used when you need a repeatable AI agent workflow instead of a one-off prompt.
Construct and verify mathematical proofs using LaTeX typesetting and computational verification via jupyter_execute
Teams using theorem-proving should expect a more consistent output, faster repeated execution, less prompt rewriting.
When to use this skill
- You want a reusable workflow that can be run more than once with consistent structure.
When not to use this skill
- You only need a quick one-off answer and do not need a reusable workflow.
- You cannot install or maintain the underlying files, dependencies, or repository context.
Installation
Claude Code / Cursor / Codex
Manual Installation
- Download SKILL.md from GitHub
- Place it in
.claude/skills/prismer-theorem-proving/SKILL.mdinside your project - Restart your AI agent — it will auto-discover the skill
How theorem-proving Compares
| Feature / Agent | theorem-proving | Standard Approach |
|---|---|---|
| Platform Support | Not specified | Limited / Varies |
| Context Awareness | High | Baseline |
| Installation Complexity | Unknown | N/A |
Frequently Asked Questions
What does this skill do?
Construct and verify mathematical proofs using LaTeX typesetting and computational verification via jupyter_execute
Where can I find the source code?
You can find the source code on GitHub using the link provided at the top of the page.
SKILL.md Source
# 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 compiling - `jupyter_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]" 1. Clarify definitions and assumptions 2. Outline proof strategy 3. Construct formal proof step-by-step 4. Verify key steps computationally if possible 5. Typeset in LaTeX with proper environments ### Verify a Conjecture When user says: "Is it true that [conjecture]?" 1. Test with specific examples (jupyter_execute) 2. Search for counterexamples 3. Attempt proof if examples support it 4. Report findings with confidence level
Related Skills
zinc-database
Access ZINC (230M+ purchasable compounds). Search by ZINC ID/SMILES, similarity searches, 3D-ready structures for docking, analog discovery, for virtual screening and drug discovery.
zarr-python
Chunked N-D arrays for cloud storage. Compressed arrays, parallel I/O, S3/GCS integration, NumPy/Dask/Xarray compatible, for large-scale scientific computing pipelines.
Academic Writing
## Overview
scientific-visualization
## Overview
venue-templates
Access comprehensive LaTeX templates, formatting requirements, and submission guidelines for major scientific publication venues (Nature, Science, PLOS, IEEE, ACM), academic conferences (NeurIPS, ICML, CVPR, CHI), research posters, and grant proposals (NSF, NIH, DOE, DARPA). This skill should be used when preparing manuscripts for journal submission, conference papers, research posters, or grant proposals and need venue-specific formatting requirements and templates.
vaex
Use this skill for processing and analyzing large tabular datasets (billions of rows) that exceed available RAM. Vaex excels at out-of-core DataFrame operations, lazy evaluation, fast aggregations, efficient visualization of big data, and machine learning on large datasets. Apply when users need to work with large CSV/HDF5/Arrow/Parquet files, perform fast statistics on massive datasets, create visualizations of big data, or build ML pipelines that do not fit in memory.
uspto-database
Access USPTO APIs for patent/trademark searches, examination history (PEDS), assignments, citations, office actions, TSDR, for IP analysis and prior art searches.
uniprot-database
Direct REST API access to UniProt. Protein searches, FASTA retrieval, ID mapping, Swiss-Prot/TrEMBL. For Python workflows with multiple databases, prefer bioservices (unified interface to 40+ services). Use this for direct HTTP/REST work or UniProt-specific control.
umap-learn
UMAP dimensionality reduction. Fast nonlinear manifold learning for 2D/3D visualization, clustering preprocessing (HDBSCAN), supervised/parametric UMAP, for high-dimensional data.
treatment-plans
Generate concise (3-4 page), focused medical treatment plans in LaTeX/PDF format for all clinical specialties. Supports general medical treatment, rehabilitation therapy, mental health care, chronic disease management, perioperative care, and pain management. Includes SMART goal frameworks, evidence-based interventions with minimal text citations, regulatory compliance (HIPAA), and professional formatting. Prioritizes brevity and clinical actionability.
transformers
This skill should be used when working with pre-trained transformer models for natural language processing, computer vision, audio, or multimodal tasks. Use for text generation, classification, question answering, translation, summarization, image classification, object detection, speech recognition, and fine-tuning models on custom datasets.
torchdrug
PyTorch-native graph neural networks for molecules and proteins. Use when building custom GNN architectures for drug discovery, protein modeling, or knowledge graph reasoning. Best for custom model development, protein property prediction, retrosynthesis. For pre-trained models and diverse featurizers use deepchem; for benchmark datasets use pytdc.