From 9d30a6141ce88ff8d5a1719f06f55a4704985491 Mon Sep 17 00:00:00 2001
From: Neea <2580981+nkrusch@users.noreply.github.com>
Date: Mon, 29 Dec 2025 13:21:07 +0100
Subject: [PATCH] Add daikon.yml

---
 data/tools/daikon.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 data/tools/daikon.yml

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.