Curated cheat-sheet for the ik language: sigils ($ @ %), the left-to-right value -> target assignment, program shape, types, memory spaces, control flow, interrupts, and a minimal program. READ THIS FIRST before writing any ik code.

The complete formal EBNF grammar of the ik language.

Read a language-reference chapter as plain text. Topics: lexical, types, memory, expressions, statements, functions, interrupts, interrupt-vectors, intrinsics, conditional-compilation, grammar.

List the compiler intrinsics (@nop @sei @cli @wdr @sleep @break @burn @swap @movw @mul @goto @spm @swtch) with signatures and notes. These are the only built-in @-functions.

Deep reference for the ik8bvm AVR simulator: core classes, register file, SREG flags, memory map, the implemented instruction set, the peripherals/interrupts modeled, cycle counting, and the explicit limitations. Use this to reason about simulation behaviour.

Deep reference for the ik8b compiler internals: the lex->parse->IR->regalloc->AVR->HEX pipeline, the SSA IR shown by --emit ir, register allocation, the calling convention/ABI, ISR codegen, fixed-point (r8/r16) lowering, intrinsic lowering, and optimization passes. Use this to reason about the generated code.

Read a tutorial page, or list pages when no argument is given. Pages: index, installing, firstprogram, tour, stdlib, interrupts.

List every standard-library module with a one-line summary, whether it depends on the selected target, and its public function count.

Full API for one stdlib module: every public function signature + summary, the rendered reference doc, and optionally the ik source. Accepts 'gpio' or 'std/gpio'.

List bundled ik example programs, or return one example's source by name.

Full-text search across the language reference, stdlib docs, tutorial, toolchain docs, std/ sources, and examples. Returns matching lines with scope/file/line.

List supported AVR target devices (name, core family, SRAM, FLASH, EEPROM, SRAM_START). Optional filter matches a device-name substring or an exact core family (AVRe, AVRePlus, AVRxm, AVRxt, AVRrc).

Memory layout and core family for one device (the value for target <device>).

Compile ik source (inline source or a path) with the real ik8b compiler. Returns success, diagnostics, and the Intel HEX (emit=hex) or SSA IR (emit=ir) artifact. import std/... resolves automatically. Use this to VERIFY any ik code you generate.

Fast syntax/semantic check: compile and return only ok + diagnostics (no artifact). The quickest write-compile-fix feedback loop.

Run code on the ik8bvm AVR core simulator. Provide ik source/path (compiled then run with the source's own target), OR a hex_path + mcu. Returns the register/PC/SP/SREG dump, any --peek bytes, and an optional instruction trace. Interrupts can be injected for testing.

Understand a multi-file ik project structurally (exact, parser-based — not fuzzy search). Returns the import graph, the effective target and where it is declared, the @main entry file, the symbols each file exports (functions/isrs/consts), and cross-file problems (no/conflicting target, missing/duplicate @main, unresolved imports). Use this BEFORE editing an existing project so you write in the right context (e.g. don't re-declare target in imported files — they inherit it). Give a directory path, a single-file path, or inline files. Set include_diagnostics to also compile the entry point for authoritative errors.

Diagnostics: resolved toolchain root, compiler/simulator binary paths, and whether documentation sources are available.

How to build a complete ikide project: the program (.ik), the test bench (tests/.rhai), and virtual devices/peripherals (devices/.rhai), and how they fit together. READ THIS before writing tests or devices.

The complete test-bench (Bench) API for tests/*.rhai: every function to drive and observe the simulated core (program, run, UART, SPI, I2C, ADC, GPIO, SRAM/IO, EEPROM, interrupts, core) plus assertions, grouped by area, with how-to-run notes and examples.

A starter tests/*.rhai bench script to adapt.

Run the headless ikide test runner and return the real PASS/FAIL verdict. Provide an existing workspace (with tests/*.rhai), OR inline program + test (assembled into a throwaway workspace). Optionally attach custom devices and pick an mcu for load_hex tests.

The complete virtual-device authoring contract for devices/.rhai: meta() fields, pin/terminal modes, view element kinds, every behaviour handler (pin_set, on_view, spi_transfer, i2c_, uart_tx/poll, tick), the framebuffer/display API, helpers, and the execution model & limits.

A starter devices/*.rhai virtual-device script to adapt.

List the virtual-device models the IDE ships (name, bus, address, display, pins, purpose). Optional filter matches name or bus (none/uart/spi/i2c). Read one model's source with ide_device_script.

Return the full Rhai source of a shipped device model (e.g. 'ssd1306', 'max7219', 'led') — a worked reference for authoring your own.

List the IDE's bundled breadboard example projects (program + wiring + often tests/devices), with title and description.

Return all files of one example project (main.ik, tests/.rhai, devices/.rhai, info.json, README) — a complete worked reference.

Full-text search across the IDE's device scripts, the device-authoring guide, and example projects' programs/tests.

Diagnostics: resolved ikide root, ikide binary path, and whether the IDE checkout is available.