export function patchPiAgentCoreSource(source: string): string;