+4
-1
@@ -13,2 +13,5 @@ { | ||
| "formal verification", | ||
| "verification", | ||
| "formal-verification", | ||
| "verified", | ||
| "claude", | ||
@@ -19,3 +22,3 @@ "dafny", | ||
| ], | ||
| "version": "0.3.4", | ||
| "version": "0.3.5", | ||
| "type": "commonjs", | ||
@@ -22,0 +25,0 @@ "files": [ |
AI-detected potential code anomaly
Supply chain riskAI has identified unusual behaviors that may pose a security risk.
URL strings
Supply chain riskPackage contains fragments of external URLs or IP addresses, which the package may be accessing at runtime.
AI-detected potential code anomaly
Supply chain riskAI has identified unusual behaviors that may pose a security risk.
URL strings
Supply chain riskPackage contains fragments of external URLs or IP addresses, which the package may be accessing at runtime.
133522
0.05%