diff --git a/pandamonium-theorem-prover/persistence/src/main/java/PersistenceConfig.java b/pandamonium-theorem-prover/persistence/src/main/java/PersistenceConfig.java
new file mode 100644
index 0000000..312e04a
--- /dev/null
+++ b/pandamonium-theorem-prover/persistence/src/main/java/PersistenceConfig.java
@@ -0,0 +1,3 @@
+
+public class PersistenceConfig {
+}
diff --git a/pandamonium-theorem-prover/services/src/main/java/parser/ParserConfig.java b/pandamonium-theorem-prover/services/src/main/java/parser/ParserConfig.java
new file mode 100644
index 0000000..95fa30b
--- /dev/null
+++ b/pandamonium-theorem-prover/services/src/main/java/parser/ParserConfig.java
@@ -0,0 +1,17 @@
+package parser;
+
+import org.springframework.context.annotation.Bean;
+import org.springframework.context.annotation.ComponentScan;
+import org.springframework.context.annotation.Configuration;
+import org.springframework.context.annotation.PropertySource;
+
+@Configuration
+@ComponentScan
+@PropertySource("classpath:development.properties")
+public class ParserConfig {
+
+    @Bean
+    public ParserService parserService() {
+        return new ParserService();
+    }
+}
diff --git a/pandamonium-theorem-prover/services/src/main/java/parser/ParserService.java b/pandamonium-theorem-prover/services/src/main/java/parser/ParserService.java
new file mode 100644
index 0000000..11c6604
--- /dev/null
+++ b/pandamonium-theorem-prover/services/src/main/java/parser/ParserService.java
@@ -0,0 +1,8 @@
+package parser;
+
+import org.springframework.stereotype.Service;
+
+@Service
+class ParserService {
+
+}
diff --git a/pandamonium-theorem-prover/services/src/main/java/scoring/ScoringConfig.java b/pandamonium-theorem-prover/services/src/main/java/scoring/ScoringConfig.java
new file mode 100644
index 0000000..318ce9e
--- /dev/null
+++ b/pandamonium-theorem-prover/services/src/main/java/scoring/ScoringConfig.java
@@ -0,0 +1,17 @@
+package scoring;
+
+import org.springframework.context.annotation.Bean;
+import org.springframework.context.annotation.ComponentScan;
+import org.springframework.context.annotation.Configuration;
+import org.springframework.context.annotation.PropertySource;
+
+@Configuration
+@ComponentScan
+@PropertySource("classpath:development.properties")
+public class ScoringConfig {
+
+    @Bean
+    public TheoremScoringService theoremScoringService() {
+        return new TheoremScoringService();
+    }
+}
diff --git a/pandamonium-theorem-prover/services/src/main/java/scoring/TheoremScoringService.java b/pandamonium-theorem-prover/services/src/main/java/scoring/TheoremScoringService.java
new file mode 100644
index 0000000..b15e600
--- /dev/null
+++ b/pandamonium-theorem-prover/services/src/main/java/scoring/TheoremScoringService.java
@@ -0,0 +1,8 @@
+package scoring;
+
+import org.springframework.stereotype.Service;
+
+@Service
+class TheoremScoringService {
+
+}
diff --git a/pandamonium-theorem-prover/services/src/test/java/parser/ParserServiceTest.java b/pandamonium-theorem-prover/services/src/test/java/parser/ParserServiceTest.java
new file mode 100644
index 0000000..342fcbe
--- /dev/null
+++ b/pandamonium-theorem-prover/services/src/test/java/parser/ParserServiceTest.java
@@ -0,0 +1,9 @@
+package parser;
+
+import org.junit.runner.RunWith;
+import org.mockito.runners.MockitoJUnitRunner;
+
+@RunWith(MockitoJUnitRunner.class)
+public class ParserServiceTest {
+
+}
\ No newline at end of file
diff --git a/pandamonium-theorem-prover/services/src/test/java/scoring/TheoremScoringServiceTest.java b/pandamonium-theorem-prover/services/src/test/java/scoring/TheoremScoringServiceTest.java
new file mode 100644
index 0000000..57c2cf6
--- /dev/null
+++ b/pandamonium-theorem-prover/services/src/test/java/scoring/TheoremScoringServiceTest.java
@@ -0,0 +1,9 @@
+package scoring;
+
+import org.junit.runner.RunWith;
+import org.mockito.runners.MockitoJUnitRunner;
+
+@RunWith(MockitoJUnitRunner.class)
+public class TheoremScoringServiceTest {
+
+}
\ No newline at end of file
diff --git a/pandamonium-theorem-prover/src/main/java/ProofsDriver.java b/pandamonium-theorem-prover/src/main/java/ProofsDriver.java
new file mode 100644
index 0000000..ea5ea80
--- /dev/null
+++ b/pandamonium-theorem-prover/src/main/java/ProofsDriver.java
@@ -0,0 +1,2 @@
+public class ProofsDriver {
+}
diff --git a/pandamonium-theorem-prover/src/main/java/WebsiteConfig.java b/pandamonium-theorem-prover/src/main/java/WebsiteConfig.java
new file mode 100644
index 0000000..e4569f9
--- /dev/null
+++ b/pandamonium-theorem-prover/src/main/java/WebsiteConfig.java
@@ -0,0 +1,11 @@
+import org.springframework.context.annotation.ComponentScan;
+import org.springframework.context.annotation.Configuration;
+import org.springframework.context.annotation.PropertySource;
+
+@Configuration
+@ComponentScan
+@PropertySource("classpath:development.properties")
+public class WebsiteConfig {
+
+
+}
diff --git a/pandamonium-theorem-prover/src/test/java/ProofsDriverTest.java b/pandamonium-theorem-prover/src/test/java/ProofsDriverTest.java
new file mode 100644
index 0000000..a406456
--- /dev/null
+++ b/pandamonium-theorem-prover/src/test/java/ProofsDriverTest.java
@@ -0,0 +1,3 @@
+public class ProofsDriverTest {
+
+}
\ No newline at end of file