diff --git a/src/plugins/server/kernel_project.ml b/src/plugins/server/kernel_project.ml
index f2fd2ec4d9e7a72e6e98f90f593fb6d5991f804d..052bc13e3f8f7c87fa98a5e825c7c68797495250 100644
--- a/src/plugins/server/kernel_project.ml
+++ b/src/plugins/server/kernel_project.ml
@@ -121,3 +121,15 @@ let () = Request.register ~page
     (ProjectRequest.process `EXEC)
 
 (* -------------------------------------------------------------------------- *)
+(* --- Project Management                                                 --- *)
+(* -------------------------------------------------------------------------- *)
+
+let () =
+  Request.register
+    ~kind:`GET
+    ~page ~name:"kernel.project.getSourceFiles"
+    ~descr:(Md.plain "Get the files of the current project")
+    ~input:(module Junit) ~output:(module Jstring.Jlist)
+    Kernel.Files.get
+
+(* -------------------------------------------------------------------------- *)