v0.25.0

Release date: 2026-06-30

Changed

• Updated the workspace exploration engine to codetool-explore 0.7.1 so file browsing and read/search behavior use the latest fixes (e6613c94).