diff --git a/.changeset/warm-hoops-allow.md b/.changeset/warm-hoops-allow.md
new file mode 100644
index 00000000000..74cc56b262f
--- /dev/null
+++ b/.changeset/warm-hoops-allow.md
@@ -0,0 +1,5 @@
+---
+"@effect/platform": minor
+---
+
+The type of the HttpApi groups and endpoints are correctly inferred.
diff --git a/packages/platform/src/HttpApi.ts b/packages/platform/src/HttpApi.ts
index 2cbcf250648..d137f17222a 100644
--- a/packages/platform/src/HttpApi.ts
+++ b/packages/platform/src/HttpApi.ts
@@ -52,7 +52,9 @@ export interface HttpApi<
   new(_: never): {}
   readonly [TypeId]: TypeId
   readonly identifier: Id
-  readonly groups: Record.ReadonlyRecord<string, Groups>
+  readonly groups: {
+    readonly [K in HttpApiGroup.HttpApiGroup.Name<Groups>]: HttpApiGroup.HttpApiGroup.WithName<Groups, K>
+  }
   readonly annotations: Context.Context<never>
   readonly errorSchema: Schema.Schema<E, unknown, R>
   readonly middlewares: ReadonlySet<HttpApiMiddleware.TagClassAny>
diff --git a/packages/platform/src/HttpApiGroup.ts b/packages/platform/src/HttpApiGroup.ts
index 60877abb79e..cb9215765ce 100644
--- a/packages/platform/src/HttpApiGroup.ts
+++ b/packages/platform/src/HttpApiGroup.ts
@@ -49,7 +49,9 @@ export interface HttpApiGroup<
   readonly [TypeId]: TypeId
   readonly identifier: Id
   readonly topLevel: TopLevel
-  readonly endpoints: Record.ReadonlyRecord<string, Endpoints>
+  readonly endpoints: {
+    readonly [K in HttpApiEndpoint.HttpApiEndpoint.Name<Endpoints>]: HttpApiEndpoint.HttpApiEndpoint.WithName<Endpoints, K>
+  }
   readonly errorSchema: Schema.Schema<Error, unknown, R>
   readonly annotations: Context.Context<never>
   readonly middlewares: ReadonlySet<HttpApiMiddleware.TagClassAny>