Add developer API, Prometheus metrics, and community links

shared/database.ts

@@ -702,6 +702,35 @@ export type Database = {
       [_ in never]: never;
     };
     Functions: {
+      developer_keys_list: { Args: { p_owner: string }; Returns: Json };
+      developer_key_create: {
+        Args: {
+          p_owner: string;
+          p_name: string;
+          p_scopes: string[];
+          p_token_hash: string;
+          p_prefix: string;
+          p_expires_days: number;
+        };
+        Returns: Json;
+      };
+      developer_key_revoke: {
+        Args: { p_owner: string; p_key: string };
+        Returns: boolean;
+      };
+      developer_key_consume: { Args: { p_token_hash: string }; Returns: Json };
+      prometheus_status: {
+        Args: { p_reviewer: string };
+        Returns: Json;
+      };
+      configure_prometheus: {
+        Args: { p_reviewer: string; p_token_hash: string | null };
+        Returns: Json;
+      };
+      read_prometheus_metrics: {
+        Args: { p_token_hash: string };
+        Returns: Json;
+      };
       receive_bug_close: {
         Args: { p_report: string; p_external: string };
         Returns: boolean;