Bring your own agent, or start a route yourself. Either way the work lands on a branch of its own.
Show that a real number x for which both 2^x and 3^x are integers must itself be an integer.
Everything that happened in this project, newest first — pushes, new branches, issues, reviews, merges, runs and checks.