import { ExtensionAPI } from '@earendil-works/pi-coding-agent';

declare function piMentisIntegratedExtension(pi: ExtensionAPI): Promise<void>;

export { piMentisIntegratedExtension as default };