v1.13.0がリリースされました、devtools が jotai本体から抜けてjotai-devtoolsへと変更になります。

https://twitter.com/jotaijs/status/1612913928329367553