pyre

.gitmodules

@@ -193,3 +193,9 @@
 [submodule "vendor/agent-protocol-sdk-python"]
 	path = vendor/agent-protocol-sdk-python
 	url = https://github.com/AI-Engineer-Foundation/agent-protocol-sdk-python
+[submodule "vendor/analysis/pyre-check"]
+	path = vendor/analysis/pyre-check
+	url = https://github.com/meta-introspector/pyre-check
+[submodule "vendor/analysis/watchman"]
+	path = vendor/analysis/watchman
+	url = https://github.com/meta-introspector/watchman

pyre/.pyre_configuration

@@ -0,0 +1,6 @@
+{
+  "site_package_search_strategy": "pep561",
+  "source_directories": [
+    "."
+  ]
+}

pyre/.watchmanconfig

@@ -0,0 +1 @@
+{}

pyre/README.md

@@ -0,0 +1,8 @@
+prep
+`pip install pyre-check`
+
+run this to collect data
+`vendor/runpyre.sh`
+
+list of files
+`jq -r keys[] pyre_statistics.txt ` 

vendor/runpyre.sh

@@ -0,0 +1,31 @@
+
+#set -e 
+
+for D in *
+do
+    if [ -d "${D}" ]; then
+        echo "${D}"   # your processing here
+	pushd $D
+	if [ ! -f .pyre_configuration ]; then
+	    cp ../../pyre/.pyre_configuration  .
+	fi
+	if [ ! -f .watchmanconfig ]; then
+	    cp ../../pyre/.watchmanconfig  .
+	fi
+	if [ ! -f  pyre_init.txt ] ; then	    
+	    pyre init  |tee pyre_init.txt
+	fi
+	if [ ! -f  pyre_coverage.txt ] ; then	    
+	    pyre coverage |tee pyre_coverage.txt
+	fi
+	if [ ! -f  pyre_statistics.txt ] ; then	    
+	    pyre statistics | tee  pyre_statistics.txt
+	fi
+	if [ ! -f  pyre_dump.json ] ; then	    
+	    #pyre dump --output pyre_dump.json
+	    #pyre-check query "types_in_file('tests.py')"
+	    echo pass
+	fi
+	popd
+    fi
+done