scillm
CommunityBatch LLM calls and Lean4 proofs.
Authorgrahama1970
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Automates batch LLM calls and Lean4 theorem proving to accelerate complex reasoning tasks.
Core Features & Use Cases
- Batch LLM completions and Lean4 proofs via scillm to accelerate multi-prompt reasoning.
- CLI and Python API integration for embedding into larger automation pipelines.
- Importable APIs for single and batch operations with JSON formatting for downstream consumption.
Quick Start
Invoke batch.py with prompts to run multiple completions in parallel and use prove.py to perform Lean4 proofs.
Dependency Matrix
Required Modules
dotenv_helpertyperscillm
Components
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: scillm Download link: https://github.com/grahama1970/fetcher/archive/main.zip#scillm Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.