diff --git a/.echidnabot.toml b/.echidnabot.toml
index 19da31e6..ff959b95 100644
--- a/.echidnabot.toml
+++ b/.echidnabot.toml
@@ -12,7 +12,7 @@ type = "formal-verification"
 [architecture]
 enforcement_level = "normal"
 primary_language = "rust"    # Core prover backends
-secondary_languages = ["julia", "rescript", "idris2", "chapel"]
+secondary_languages = ["julia", "rescript", "idris2", "chapel", "spark"]
 
 [provers]
 # ECHIDNA is self-hosting - can verify its own Idris2 ABI definitions