v0.1.5

lean-rs-worker 0.1.5

Per-call imports on LeanWorkerCapability

• Added LeanWorkerCapability::open_session_with_imports(imports, cancellation, progress) alongside the existing
  open_session. The new method opens a worker session with a caller-supplied import set, overriding the imports the
  capability was built with; project_root / package / lib_name remain those of the capability. Lifecycle and
  error contract are identical to open_session.
• Motivated by parent-side per-imports session caching in downstream MCP hosts that vary imports across requests:
  before this method, switching import sets required tearing down the capability (and its worker child). The wire
  protocol already carried OpenHostSession.imports per message and the child already opened a fresh LeanSession
  per request, so this is a Rust-side ergonomic gap closing, not a new capability.
• Existing open_session is unchanged. No removals; additive on the public API.