/**
 * /leaderboard [page] command
 *
 * Displays paginated server XP leaderboard with top users.
 * Supports access control via config and theme customization.
 */
import type { ChatInputCommandInteraction } from 'discord.js';
import type { CommandConfig, CommandResult } from 'robo.js';
/**
 * Command configuration
 */
export declare const config: CommandConfig;
/**
 * Command handler
 */
export default function (interaction: ChatInputCommandInteraction): Promise<CommandResult>;