$DEGEN Tips Extension Server