diff --git a/CITATION.cff b/CITATION.cff
new file mode 100644
index 0000000..0ac87b0
--- /dev/null
+++ b/CITATION.cff
@@ -0,0 +1,29 @@
+cff-version: 1.2.0
+message: "If you use this software, please cite it as below."
+type: software
+title: "Tropical Resource Typing"
+abstract: "Lean 4 applied to max-plus (tropical) algebra to resource-aware type systems for compositional worst-case bounds. Provides a reusable resource-grade axis with parametric transport, a no-go theorem (hub_ceiling) refuting Protocol Squisher's universal-interoperability claim; separation proofs distinguishing tropical instances from finite {0,1,ω} reifications; and a separation proof that resource algebras measure Echo residues but are not Echo instances."
+authors:
+  - family-names: "Jewell"
+    given-names: "Jonathan D.A."
+    orcid: "https://orcid.org/0000-0002-3078-6652"
+repository-code: "https://github.com/hyperpolymath/tropical-types"
+keywords:
+  - "tropical-algebra"
+  - "lean4"
+  - "epistemic-computing"
+  - "epistemic-infrastructure"
+  - "equivalence-aware-computing"
+  - "formal-verification"
+  - "hyperpolymath"
+  - "isabelle"
+  - "max-plus-algebra"
+  - "open-source"
+  - "research-software"
+  - "theorem-proving"
+  - "typed-provenance"
+  - "veridical-computing"
+  - "resource-aware-computing"
+  - "protocol-interop"
+  - "type-theory-in-number-theory"
+  - "worst-case-analysis"