What plugin does WPMUDEV use for the points system?

Hello

Can someone tell me what plugin WPMUDEV uses to keep track of the points of users who post and comment in the support area etc? Is it a standard plugin?

Also, I would suggest adding a bookmark this feature so people can easily find support tickets they will need to search in the future.

Dustin