Skip to main content
Glama

Convex MCP server

Official
by get-convex
TableHeader.tsx2.5 kB
import { HeaderGroup } from "react-table"; import { GenericDocument } from "convex/server"; import classNames from "classnames"; import omit from "lodash/omit"; import { ColumnHeader } from "@common/features/data/components/Table/ColumnHeader"; import { DataCellProps } from "@common/features/data/components/Table/DataCell/DataCell"; import { SchemaJson } from "@common/lib/format"; export function TableHeader({ headerGroups, isResizingColumn, allRowsSelected, hasFilters, isSelectionExhaustive, toggleAll, topBorderAnimation, reorder, openContextMenu, sort, activeSchema, tableName, }: { reorder(item: { index: number }, newIndex: number): void; headerGroups: HeaderGroup<GenericDocument>[]; isResizingColumn?: string; allRowsSelected: boolean | "indeterminate"; hasFilters: boolean; isSelectionExhaustive: boolean; toggleAll: () => void; topBorderAnimation: boolean; openContextMenu: DataCellProps["onOpenContextMenu"]; sort: { order: "asc" | "desc"; field: string; }; activeSchema: SchemaJson | null; tableName: string; }) { return ( <div className="group"> {/* Header */} {headerGroups.map((headerGroup) => ( <div key={headerGroup.getHeaderGroupProps().key} {...omit(headerGroup.getHeaderGroupProps(), "key")} // The FixedSizeList controlling the table width somehow adds an extra pixel to the data rows, // so add one here too. className="mr-[1px] border-x border-x-transparent" > {headerGroup.headers.map((column, columnIndex) => ( <ColumnHeader key={columnIndex} isLastColumn={columnIndex === headerGroup.headers.length - 1} reorder={reorder} isResizingColumn={isResizingColumn} column={column} columnIndex={columnIndex} allRowsSelected={allRowsSelected} hasFilters={hasFilters} isSelectionExhaustive={isSelectionExhaustive} toggleAll={toggleAll} openContextMenu={openContextMenu} sort={sort.field === column.Header ? sort.order : undefined} activeSchema={activeSchema} tableName={tableName} /> ))} </div> ))} <div className={classNames( "h-[1px] bg-border-transparent", topBorderAnimation && "animate-highlightBorder", )} /> </div> ); }

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/get-convex/convex-backend'

If you have feedback or need assistance with the MCP directory API, please join our Discord server