diff --git a/data/tools/daikon.yml b/data/tools/daikon.yml
new file mode 100644
index 0000000..3f25d92
--- /dev/null
+++ b/data/tools/daikon.yml
@@ -0,0 +1,16 @@
+name: Daikon
+categories:
+  - linter
+tags:
+  - c
+  - cpp
+  - java
+license: NOASSERTION
+types:
+  - cli
+source: 'https://github.com/codespecs/daikon'
+homepage: 'https://plse.cs.washington.edu/daikon/'
+description: >-
+  A dynamic detector of likely invariants. An invariant is a property 
+  that holds at a certain program point, often seen in assert statements, 
+  documentation, and formal specifications.