lint

Author: jon-bell

app/course/[course_id]/assignments/[assignment_id]/submissions/[submissions_id]/results/page.tsx

@@ -973,9 +973,7 @@ export default function GraderResults() {
   const hasBuildError = query.data.data.grader_results.lint_output === "Gradle build failed";
   const data = query.data.data;
   // Get build output for AI analysis
-  const buildOutput = data.grader_results?.grader_result_output?.[0]?.output ||
-    data.grader_results?.lint_output ||
-    "";
+  const buildOutput = data.grader_results?.grader_result_output?.[0]?.output || data.grader_results?.lint_output || "";
   return (
     <Box>
       {hasBuildError && (

components/ai-help/AIHelpSubmissionErrorButton.tsx

@@ -33,17 +33,7 @@ interface AIHelpSubmissionErrorButtonProps {
  * Generates an AI prompt for analyzing a test failure or build error
  */
 function generateErrorPrompt(props: AIHelpSubmissionErrorButtonProps): string {
-  const {
-    errorType,
-    testName,
-    testPart,
-    score,
-    maxScore,
-    errorOutput,
-    assignmentId,
-    classId,
-    submissionId
-  } = props;
+  const { errorType, testName, testPart, score, maxScore, errorOutput, assignmentId, classId, submissionId } = props;
 
   const truncatedOutput = errorOutput.slice(0, 4000) + (errorOutput.length > 4000 ? "\n... (truncated)" : "");
 
@@ -179,13 +169,7 @@ export function AIHelpSubmissionErrorButton(props: AIHelpSubmissionErrorButtonPr
 
   return (
     <Tooltip content={tooltipContent} showArrow>
-      <IconButton
-        aria-label={tooltipContent}
-        size="xs"
-        variant="ghost"
-        colorPalette="purple"
-        onClick={handleCopy}
-      >
+      <IconButton aria-label={tooltipContent} size="xs" variant="ghost" colorPalette="purple" onClick={handleCopy}>
         <Icon as={BsRobot} />
       </IconButton>
     </Tooltip>

supabase/functions/_shared/MCPAuth.ts

@@ -74,7 +74,9 @@ async function getSupabaseJwtKey(): Promise<{ key: CryptoKey; kid: string }> {
   const secret = Deno.env.get(SUPABASE_JWT_SECRET_ENV);
 
   if (!secret) {
-    throw new MCPAuthError(`${SUPABASE_JWT_SECRET_ENV} must be set. Generate with: supabase gen signing-key --algorithm ES256`);
+    throw new MCPAuthError(
+      `${SUPABASE_JWT_SECRET_ENV} must be set. Generate with: supabase gen signing-key --algorithm ES256`
+    );
   }
 
   if (!secret.startsWith("{")) {
@@ -83,19 +85,19 @@ async function getSupabaseJwtKey(): Promise<{ key: CryptoKey; kid: string }> {
 
   const jwkFull = JSON.parse(secret);
   const kid = jwkFull.kid;
-  
+
   if (!kid) {
     throw new MCPAuthError("JWK must have a 'kid' field");
   }
-  
+
   if (jwkFull.kty !== "EC" || jwkFull.crv !== "P-256") {
     throw new MCPAuthError("JWK must be an EC key with P-256 curve (ES256)");
   }
-  
+
   if (!jwkFull.d) {
     throw new MCPAuthError("JWK must include private key component 'd'");
   }
-  
+
   // Create a clean JWK with only the fields needed for import
   // Deno's WebCrypto can be strict about extra fields like 'key_ops'
   const jwk: Record<string, unknown> = {
@@ -105,15 +107,9 @@ async function getSupabaseJwtKey(): Promise<{ key: CryptoKey; kid: string }> {
     y: jwkFull.y,
     d: jwkFull.d
   };
-  
-  const key = await crypto.subtle.importKey(
-    "jwk",
-    jwk,
-    { name: "ECDSA", namedCurve: "P-256" },
-    false,
-    ["sign"]
-  );
-  
+
+  const key = await crypto.subtle.importKey("jwk", jwk, { name: "ECDSA", namedCurve: "P-256" }, false, ["sign"]);
+
   return { key, kid };
 }
 

supabase/functions/mcp-server/index.ts

@@ -39,7 +39,8 @@ if (Deno.env.get("SENTRY_DSN")) {
 // CORS headers
 const corsHeaders = {
   "Access-Control-Allow-Origin": "*",
-  "Access-Control-Allow-Headers": "authorization, x-client-info, apikey, content-type, accept, mcp-session-id, last-event-id",
+  "Access-Control-Allow-Headers":
+    "authorization, x-client-info, apikey, content-type, accept, mcp-session-id, last-event-id",
   "Access-Control-Allow-Methods": "GET, POST, DELETE, OPTIONS"
 };
 
@@ -668,9 +669,7 @@ async function getDiscussionThread(
   const topic = thread.discussion_topics as unknown as { assignment_id: number | null };
 
   // Translate private profile to public profile for author
-  const authorPublicProfiles = thread.author
-    ? await getPublicProfiles(supabase, [thread.author], classId)
-    : new Map();
+  const authorPublicProfiles = thread.author ? await getPublicProfiles(supabase, [thread.author], classId) : new Map();
   const authorPublicProfile = thread.author ? authorPublicProfiles.get(thread.author) : null;
 
   // Parallel fetch: assignment, latest submission, replies
@@ -1129,7 +1128,12 @@ function createSSEStream(): { stream: ReadableStream<Uint8Array>; sse: SSEStream
   };
 }
 
-function sendSSEEvent(sse: SSEStream, event: string, data: unknown, options: { includeId?: boolean; raw?: boolean } = {}): void {
+function sendSSEEvent(
+  sse: SSEStream,
+  event: string,
+  data: unknown,
+  options: { includeId?: boolean; raw?: boolean } = {}
+): void {
   const { includeId = true, raw = false } = options;
   const lines: string[] = [];
   if (includeId) {
@@ -1164,11 +1168,11 @@ function closeSSEStream(sse: SSEStream): void {
 function getEndpointUrl(req: Request): string {
   // Use EDGE_FUNCTIONS_URL as the authoritative base URL
   const edgeFunctionsUrl = Deno.env.get("EDGE_FUNCTIONS_URL");
-  
+
   if (edgeFunctionsUrl) {
     return `${edgeFunctionsUrl}/functions/v1/mcp-server`;
   }
-  
+
   // Fallback: construct from request
   const url = new URL(req.url);
   const proto = req.headers.get("x-forwarded-proto") || "https";
@@ -1233,7 +1237,7 @@ Deno.serve(async (req: Request): Promise<Response> => {
           ...corsHeaders,
           "Content-Type": "text/event-stream",
           "Cache-Control": "no-cache",
-          "Connection": "keep-alive"
+          Connection: "keep-alive"
         }
       });
     } catch (error) {