Add AGENTS.md for cloud development environment

[ksjpswaroop]

Adds AGENTS.md with Cursor Cloud specific instructions for development environment setup.

Changes

• Created AGENTS.md documenting:
  • PATH requirements ($HOME/.local/bin)
  • Key development commands (lint, typecheck, test)
  • How to run example scripts
  • Known issues (python-sat unavailability, example bug, mypy warnings)

Environment Verification

All checks pass:

• Lint: python3 -m ruff check src/ tests/ — all checks passed
• Typecheck: python3 -m mypy src/ — no issues in 34 source files
• Tests: python3 -m pytest tests/ -v --tb=short — 115 passed in 0.5s
• Examples: 3/4 examples run correctly (1 has pre-existing bug)

dev_environment_verification.log

_{To show artifacts inline, enable in settings.}