Expose DebugServer in public API