Prompt file imported from fredgis/SkyNav (
.github/prompts/iot-hot-air.prompt.md). Fill in{{task}}before use. Copyright stays with the author.
Develop a SkyNav fleet management feature using spec-driven TDD across all domains.
Task
{{task}}
Focus Areas
- Spec-Kit Specification — Define the feature spec with input/output contracts, data schemas, and acceptance criteria before any implementation
- Cross-Domain Data Contracts — Ensure alignment between Pydantic telemetry models (Python), Zod MCP tool schemas (TypeScript), KQL Eventhouse columns, and React component props
- TDD Red-Green-Refactor — Write failing tests first in each domain (pytest, Vitest, React Testing Library), then implement, then refactor
- Integration Points — Verify the data flow: Python simulator → Event Hubs → Eventhouse → MCP tools → React dashboard
Domains
- @Python IoT Telemetry Simulator — Pydantic schemas, Event Hubs producer, flight scenarios, pytest/hypothesis tests
- @MCP Server & Fabric Data Platform — MCP geospatial tools, KQL queries, Fabric IQ ontology, Vitest/MSW tests
- @React CopilotKit Frontend — Dashboard components, Leaflet maps, CopilotKit actions, React Testing Library tests
Expected Output
- Spec-kit specification document with acceptance criteria
- Failing tests in each affected domain
- Implementation passing all tests
- Integration verification across domain boundaries