wp_is_mobile dequeue not working

It looks like you are using the script “src” rather than the script “handle”. Have you tried:

add_action( 'wp_enqueue_scripts', 'remove_plugin_scripts', PHP_INT_MAX );

function remove_plugin_scripts() {
if ( wp_is_mobile() ) {

// Remove script file.
wp_dequeue_script( 'tp-tools' );
wp_deregister_script( 'tp-tools' );

wp_dequeue_script( 'revmin' );
wp_deregister_script( 'revmin' );
}

}