michaelg/dev: links for reasoning-tool