diff --git a/mafiabot.adb b/mafiabot.adb
new file mode 100644
index 0000000..2cfaf66
--- /dev/null
+++ b/mafiabot.adb
@@ -0,0 +1,12 @@
+pragma Profile (Jorvik);
+pragma SPARK_Mode (Off);  --  Main procedure: orchestrates I/O-facing init.
+
+with Bot_Config;
+with Engine;
+
+procedure Mafiabot is
+   Config   : Bot_Config.Bot_Configuration;
+   Registry : Engine.Daemon_Registry;
+begin
+   null;
+end Mafiabot;
diff --git a/mafiabot_core.gpr b/mafiabot_core.gpr
new file mode 100644
index 0000000..9cb4d16
--- /dev/null
+++ b/mafiabot_core.gpr
@@ -0,0 +1,36 @@
+project Mafiabot_Core is
+
+   for Source_Dirs use
+     ("src",
+      "src/core",
+      "src/daemons",
+      "src/network",
+      "src/payloads",
+      "config",
+      "tests");
+   for Object_Dir use "obj";
+   for Exec_Dir use "bin";
+   for Main use ("mafiabot.adb", "engine_tests.adb");
+
+   package Compiler is
+      for Default_Switches ("Ada") use
+        ("-gnat2022",
+         "-gnata",
+         "-gnatwa",
+         "-O2");
+   end Compiler;
+
+   --  Run: gnatprove -P mafiabot_core.gpr --level=2 --report=all
+   package Prove is
+      for Proof_Switches ("Ada") use
+        ("-j0",
+         "--level=2",
+         "--report=all",
+         "--no-axiom-guard");
+   end Prove;
+
+   package Binder is
+      for Switches ("Ada") use ("-E");
+   end Binder;
+
+end Mafiabot_Core;