Convex MCP server

import { z } from "zod";
import { looseObject } from "./utils.js";

// TODO share some of these types, to distinguish between encodedComponentDefinitionPaths etc.
export const componentDefinitionPath = z.string();
export type ComponentDefinitionPath = z.infer<typeof componentDefinitionPath>;

export const componentPath = z.string();
export type ComponentPath = z.infer<typeof componentPath>;

export const canonicalizedModulePath = z.string();
export type CanonicalizedModulePath = z.infer<typeof canonicalizedModulePath>;

export const componentFunctionPath = looseObject({
  component: z.string(),
  udfPath: z.string(),
});
export type ComponentFunctionPath = z.infer<typeof componentFunctionPath>;