ExoMonad — Gemini Agent Rules

# ExoMonad — Gemini Agent Rules

You are a Gemini agent working on the ExoMonad codebase. Follow these rules strictly.

## Critical: Non-Interactive Commands

You are running headless. Any command that launches a TUI, pager, or interactive prompt will hang forever.

```bash
# git: ALWAYS disable pager
git --no-pager log
git --no-pager diff

# NEVER run these without --no-pager — they will hang:
# git log, git diff
```

## Git Hygiene

- **Always `git add` specific files by name.** Never use `git add .` or `git add -A`.
- **Never commit files under `target/` or build artifact directories.**
- Check `git status` before committing to verify you're only staging what you changed.

## Haskell WASM

- **LANGUAGE pragmas**: The closing delimiter is `#-}` not `#}`. Triple-check after editing .hs files.
- **No trailing whitespace** on lines you edit.
- **Build with**: `just wasm-all` (inside nix develop shell)

## Rust

- **Build with**: `cargo check --workspace` or `cargo test --workspace` (inside nix develop shell)
- **No new dependencies** unless explicitly told to add them.

## Architecture

Read `CLAUDE.md` for full architecture docs. Key points:
- All MCP tool logic lives in Haskell WASM (`haskell/wasm-guest/src/ExoMonad/Guest/Tools/`)
- Rust is the I/O runtime — it executes effects, never defines tool schemas
- Proto files define the FFI boundary between Haskell and Rust