grahama1970 avatar

scillm

LLM completions and Lean4 theorem proving via scillm. Use when user needs "batch LLM calls", "parall

by grahama1970|Open Source

scillm

Scillm card

Scillm is the model and agent execution surface behind my agent work. It gives project agents one path for any-model calls, image/VLM work, batch calls, tool-call proposals, agent DAGs, and delegated coding workers without scattering provider glue through every skill.

The full public project lives at github.com/grahama1970/scillm. This skill is the agent-skills operator guide: start here when a skill needs to call Scillm correctly.

Agents must treat SKILL.md as the runtime contract. This README is the human/operator guide.

Use It For

NeedStart with
One model answer, JSON extraction, critique, or VLM descriptionscillm <model> "prompt"
A generated image artifactrun.sh generate-image --prompt-file ... --out ...
Many independent model callsscillm <model> prompts.jsonl
A bounded worker that can inspect files or patch codescillm agent "task"
A specific OpenCode model as a workerscillm agent opencode/<model> "task"
Tool-call proposals for a caller-owned loopscillm --json --tools tools.json <model> "prompt"

Scillm also backs DAG-shaped workflows used by the harness: exec nodes, OpenCode serve, transport streams, standing agents, receipts, retries, and amendment.

Use those advanced surfaces only when the simple chat, image, batch, or delegate paths are not enough.

The Mental Model

Project skill
  -> asks Scillm for the right surface
  -> Scillm routes to a provider, model, or worker
  -> caller validates the artifact, receipt, diff, or response

Scillm is deliberately more than a proxy wrapper. It normalizes provider selection, OAuth-backed models, Chutes batches, OpenCode Go chat models, OpenCode serve delegates, prompt gates, tool-call proposals, multimodal file payloads, and proof receipts.

Start Here

Run the project-agent doctor before relying on Scillm in a workflow:

cd /path/to/scillm
./scripts/doctor_project_agent_scillm_calls.sh

For day-to-day calls, prefer the CLI:

scillm "what is 2 + 2"
scillm openai/gpt-5.5 high "write a focused test plan"
scillm opencode/deepseek-v4-flash "summarize this failure"
scillm agent "inspect this repo and explain the failing test"
scillm --tools tools.json openai/gpt-5.5 "Use a tool if needed."

If the CLI is not on PATH, use the project source command and report the resolution problem:

cd /path/to/scillm
PYTHONPATH=src uv run python -m scillm.cli tools check tools.json

Common Mistakes

MistakeBetter move
Hand-building provider headers in a skillRoute through Scillm
Asking chat to create an image fileUse the image surface
Using chat to patch a repoUse a delegated agent
Treating a delegate response as truthVerify artifacts, diffs, and receipts locally
Passing tools to scillm agentUse --tools only for non-agent model calls
Stretching one chat call into a DAG runnerUse the harness or advanced transport path

Proof Discipline

Every Scillm-backed report should state:

mocked: yes|no
live: yes|no
surface: chat|image|batch|delegate|advanced
model/agent: <name>
artifact paths: <receipts, images, diffs, logs, or response files>
unverified: <what was not checked>

Receipts and delegate messages are claims until the caller checks the returned artifact or behavior.

References

Load these only when the task needs that surface:

FileContents
references/models-and-routing.mdModel aliases, routing, Chutes, and OpenCode Go notes
references/chat-calls.mdSingle calls, JSON, VLM, and message formats
references/batch-calls.mdParallel batch, server pools, and completion ordering
references/opencode-serve.mdBounded OpenCode worker runs
references/opencode-transport.mdTransport streaming and DAG collaboration details
references/exec-workers.mdMaintainer-oriented scillm exec profiles
references/standing-agents.mdMulti-turn agent handoff workflow
references/files-multimodal.mdImage, PDF, and ZIP payload shapes
references/ops-endpoints.mdHealth, auth, providers, and capabilities

The operational contract for project agents is SKILL.md.