The KBMAG package can be used to verify hyperbolicity of a group defined by a finite presentation. It does it by verifying that geodesic bigons in the Cayley graph are uniformly thin. Then a result of Paposoglu implies that the group is hyperbolic. So it proves hyperbolicity, but it does not provide any useful information aboutn the constant of hyperbolicity.

Unfortunately, whoever designed the GAP interface (well me) did not provide a convenient interface to this functionality. But it is possible to use the GAP Exec command to do this. Here is a simple with the group $\langle x,y \mid x^2=y^3=(xy)^7=1 \rangle$. The KBMAG package needs to be compiled. I am running it on Linux, and I don't know whether it will work properly with other operating systems.

```
LoadPackage("kbmag");;
F:=FreeGroup(2);; rels:=[F.1^2, F.2^3, (F.1*F.2)^7];; G:=F/rels;;
R:=KBMAGRewritingSystem(G);;
AutomaticStructure(R);;
WriteRWS(R,"237",";");;
progname := Filename(_KBExtDir,"autgroup");;
callstring := Concatenation(progname," 237");;
Exec(callstring);
progname := Filename(_KBExtDir,"gpgeowa");;
callstring := Concatenation(progname," 237");;
Exec(callstring);
```

If the final command completes successfully then it has succeeded in verifying that geodesic bigons are uniformly thin. The output of the last command should be something like:

```
#Geodesic word found not accepted by *geowaptr.
#Geodesic word-acceptor with 54 states computed.
#Geodesic pairs machine with 114 states computed.
#Geodesic difference machine with 31 states computed.
```