diff --git a/CITATION.cff b/CITATION.cff
new file mode 100644
index 0000000..4e89eb7
--- /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: "Epistemic Types"
+abstract: "Constructive Agda prototype for standpoint-indexed epistemic modalities, separating knowledge (factive) from belief and warrant. Provides a tropical-graded bridge from standpoint access to echo-type residues, and a compositional proof-transport calculus with a no-smuggling guarantee across trust boundaries."
+authors:
+  - family-names: "Jewell"
+    given-names: "Jonathan D.A."
+    orcid: "https://orcid.org/0000-0002-3078-6652"
+repository-code: "https://github.com/hyperpolymath/epistemic-types"
+keywords:
+  - "agda"
+  - "echo-types"
+  - "attestation"
+  - "epistemic-computing"
+  - "epistemic-infrastructure"
+  - "epistemic-modalities"
+  - "equivalence-aware-computing"
+  - "formal-verification"
+  - "hyperpolymath"
+  - "open-source"
+  - "research-software"
+  - "theorem-proving"
+  - "typed-provenance"
+  - "veridical-computing"
+  - "standpoint-epistemology"
+  - "warrant-theory"
+  - "tropical-algebra"
+  - "type-theory"