| Knot Name Normalizer | Parse and normalize connected-sum expressions built from oriented knot names, mirrors, and reversals. |
| Reidemeister Certificate Replay | Replay PD moves and check certificates, including intermediate states. |
| Reidemeister Moves | Draw an oriented knot, inspect PD labels, and select and execute available moves. |
| Braid Certificate Replay | Replay JSON braid and Markov moves, view the result or every step, and check optional endpoint claims. |
| Identify a knot | Find compatible catalogue knots and the status of an oriented identification. |
| Knot Floer homology | Compute bigraded HFK-hat ranks over F₂. |
| Colored Jones | Compute reduced J₂ and J₃ numerical fingerprints at two fixed points. |
| Bar–Natan–van der Veen theta | Compute exact finite-field theta evaluations at two fixed points. |
| Knot symmetries | Look for verified mirror and reversal symmetries of the knot exterior. |