Clarify agent setup and workflow details

Author: saulshanabrook

.github/AGENTS.md

@@ -24,15 +24,18 @@ This repository provides Python bindings for the Rust library `egglog`, enabling
 
 ### Prerequisites
 - **uv** - Package manager (https://github.com/astral-sh/uv)
-- **Rust toolchain** - See rust-toolchain.toml for version
-- **Python** - See .python-version for version
+- **Rust toolchain** - Version pinned in `rust-toolchain.toml`
+- **Python** - Version pinned in `.python-version`
 
 ### Common Commands
 
 ```bash
 # Install dependencies
 uv sync --all-extras
 
+# Reinstall the Rust extension after changing code in `src/`
+uv sync --reinstall-package egglog --all-extras
+
 # Run tests
 uv run pytest --benchmark-disable -vvv --durations=10
 
@@ -45,6 +48,10 @@ make stubtest
 # Build documentation
 make docs
 
+# Refresh the bundled visualizer assets
+make clean
+make
+
 # Format code (auto-run by pre-commit)
 uv run ruff format .
 
@@ -125,6 +132,10 @@ The `egglog.bindings` module provides lower-level access to the Rust implementat
 - `python/egglog/ipython_magic.py` - IPython/Jupyter integration
 - `python/egglog/visualizer_widget.py` - Interactive visualization widget
 - `python/egglog/version_compat.py` - Python version compatibility utilities
+- `python/egglog/examples/` - End-to-end samples and tutorials demonstrating the API
+- `python/egglog/exp/` - Experimental Array API integrations and code generation helpers
+
+The compiled extension artifact `python/egglog/bindings.cpython-*.so` is generated by `uv sync` and should not be edited manually.
 
 ## Code Style Preferences
 
@@ -144,7 +155,7 @@ When making changes:
 4. Build documentation if changing public APIs
 5. Follow existing code patterns and style
 6. Keep changes minimal and focused
-7. Add a changelog entry in `docs/changelog.md` under the UNRELEASED section
+7. Ensure the automatic changelog entry in `docs/changelog.md` (added when opening the PR) accurately reflects your change and add manual notes if additional clarification is needed
 
 ## Common Patterns