  We describe a computation of rational points on genus 3 hyperelliptic curves
$C$ defined over $\mathbb{Q}$ whose Jacobians have Mordell-Weil rank 1. Using
the method of Chabauty and Coleman, we present and implement an algorithm in
Sage to compute the zero locus of two Coleman integrals and analyze the finite
set of points cut out by the vanishing of these integrals. We run the algorithm
on approximately 17,000 curves from a forthcoming database of genus 3
hyperelliptic curves and discuss some interesting examples where the zero set
includes global points not found in $C(\mathbb{Q})$.
