diff --git a/deno.jsonc b/deno.jsonc
--- a/deno.jsonc
+++ b/deno.jsonc
@@ -248,6 +248,10 @@
       "description": "Run documentation tests",
       "command": "deno test -A --doc --ignore=README.md --ignore=src/skills src",
     },
+    "test:types": {
+      "description": "Make sure everything type checks",
+      "command": "deno check specs && deno check src",
+    },
     "test:unit": {
       "description": "Run unit tests (documentation tests)",
       "command": "deno task test:doc",
diff --git a/tests/TESTING.md b/tests/TESTING.md
new file mode 100644
--- /dev/null
+++ b/tests/TESTING.md
@@ -0,0 +1,6 @@
+# Testing
+
+1. Everything should type check based on the types in `specs`
+2. Our code should match all the behaviours and requirements written down in the `SPEC.md` files in `spec`
+3. Component code should ideally have a lot of unit tests in the form of documentation tests. This way, people or agents that consume these components can understand it; and we're confirming the behaviour.
+4. A lot of components integrate or rely on external services, as much as possible should be tested using integration tests.