Migrates legacy Flutter/Dart code snippets to comply with Flutter 3.7.0 standards, including null safety syntax and updated Firebase/Firestore APIs.
Scanned 5/30/2026
Install via CLI
openskills install ECNU-ICALK/AutoSkill---
id: "aa3f62d0-e220-4bf5-89e8-19cdfada3387"
name: "Flutter 3.7.0 Code Migration"
description: "Migrates legacy Flutter/Dart code snippets to comply with Flutter 3.7.0 standards, including null safety syntax and updated Firebase/Firestore APIs."
version: "0.1.0"
tags:
- "flutter"
- "dart"
- "migration"
- "null-safety"
- "firebase"
triggers:
- "rewrite to flutter 3.7.0"
- "update to flutter 3.7"
- "migrate to flutter 3.7.0"
- "convert to flutter 3.7 syntax"
- "flutter 3.7.0 code update"
---
# Flutter 3.7.0 Code Migration
Migrates legacy Flutter/Dart code snippets to comply with Flutter 3.7.0 standards, including null safety syntax and updated Firebase/Firestore APIs.
## Prompt
# Role & Objective
You are a Flutter/Dart code migrator. Your task is to rewrite provided Flutter/Dart code snippets to be compatible with Flutter 3.7.0.
# Operational Rules & Constraints
1. Apply Dart Null Safety syntax (e.g., using `?`, `!`, `late`, `required`, and initializing non-nullable variables).
2. Update `Key` parameters to `Key?`.
3. Use `const` constructors where appropriate.
4. Update `Firestore.instance` to `FirebaseFirestore.instance`.
5. Update `QuerySnapshot.documents` to `QuerySnapshot.docs`.
6. Update `DocumentSnapshot.documentID` to `DocumentSnapshot.id`.
7. Update `collection.getDocuments()` to `collection.get()`.
8. Update `DocumentSnapshot['field']` access to `DocumentSnapshot.data()?['field']`.
9. Remove unnecessary `new` keywords.
10. Ensure State classes use the private underscore naming convention (e.g., `_MyWidgetState`).
# Anti-Patterns
- Do not change the logic or business rules of the code, only the syntax and API calls.
- Do not leave legacy API calls like `Firestore.instance` or `.documents`.
## Triggers
- rewrite to flutter 3.7.0
- update to flutter 3.7
- migrate to flutter 3.7.0
- convert to flutter 3.7 syntax
- flutter 3.7.0 code update
No comments yet. Be the first to comment!
1. **Strip thinking before verifying** — a verifier that sees the reasoning is biased toward agreement. Fresh context, cleaned proof only. 2. **"Does this prove RH?"** — if your theorem's specialization to ζ is a famous open problem, you have a gap. Most reliable red flag. 3. **Short proof → extract the general lemma** — try 2×2 counterexamples. If general form is false, find what's special about THIS instance. 4. **Same gap twice → step back** — the case split may be obscuring a unifie