IgorBlink

Write, read, and verify Lumo programs — the LLM-native language where every operator is a plain English word. Triggers on any .lumo file or when user asks about Lumo syntax, semantics, or code generation.

Generate and validate Lumo proof manifests (.lumo.proof.json) for strict-mode compilation. Triggers when user asks about proofs, verification, strict mode, or when working with .proof.json files.