mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-07-31 03:05:21 +00:00
78 lines
3.3 KiB
Python
78 lines
3.3 KiB
Python
import os
|
|
import sys
|
|
import re
|
|
|
|
def audit_lean():
|
|
print("--- LEAN 4 AUDIT ---")
|
|
lean_dir = "/home/allaun/Documents/Research Stack/tools/lean"
|
|
sorry_count = 0
|
|
for root, _, files in os.walk(lean_dir):
|
|
for file in files:
|
|
if file.endswith(".lean"):
|
|
path = os.path.join(root, file)
|
|
with open(path, "r") as f:
|
|
content = f.read()
|
|
matches = re.findall(r"sorry", content)
|
|
if matches:
|
|
print(f"[SORRY] {os.path.relpath(path, lean_dir)}: {len(matches)} occurrences")
|
|
sorry_count += len(matches)
|
|
print(f"Total 'sorry' blocks: {sorry_count}")
|
|
return sorry_count
|
|
|
|
def audit_python_math():
|
|
print("\n--- PYTHON PHYSICS AUDIT ---")
|
|
scripts_dir = "/home/allaun/Documents/Research Stack/scratch/exploit_recovery/5-Applications/tools-scripts/physics"
|
|
spectral_core = "/home/allaun/Documents/Research Stack/scratch/exploit_recovery/5-Applications/tools-scripts/physics/usc_spectral_core.py"
|
|
|
|
# Check for tapered regularization
|
|
with open(spectral_core, "r") as f:
|
|
content = f.read()
|
|
if "burgers_complexity_metric" in content and "epsilon" in content:
|
|
print("[OK] usc_spectral_core.py: Tapered regularization implemented.")
|
|
else:
|
|
print("[WARN] usc_spectral_core.py: Tapered regularization MISSING or incomplete.")
|
|
|
|
# Check other scripts for nu_eff or Omega
|
|
for root, _, files in os.walk(scripts_dir):
|
|
for file in files:
|
|
if file.endswith(".py"):
|
|
path = os.path.join(root, file)
|
|
with open(path, "r") as f:
|
|
content = f.read()
|
|
if "nu_eff" in content and "epsilon" not in content:
|
|
print(f"[SUSPECT] {os.path.relpath(path, scripts_dir)}: nu_eff used without explicit epsilon regularization.")
|
|
|
|
def audit_mcp_config():
|
|
print("\n--- MCP CONFIG AUDIT ---")
|
|
config_path = "/home/allaun/.gemini/antigravity/mcp_config.json"
|
|
if os.path.exists(config_path):
|
|
with open(config_path, "r") as f:
|
|
content = f.read()
|
|
if "YOUR_BRAVE_API_KEY_HERE" in content:
|
|
print("[WARN] mcp_config.json: Brave Search API key is still the placeholder.")
|
|
if "google-surf-mcp" in content:
|
|
print("[OK] mcp_config.json: google-surf-mcp configured.")
|
|
else:
|
|
print("[FAIL] mcp_config.json not found.")
|
|
|
|
def audit_env():
|
|
print("\n--- ENVIRONMENT AUDIT ---")
|
|
env_path = "/home/allaun/Documents/Research Stack/.env"
|
|
if os.path.exists(env_path):
|
|
with open(env_path, "r") as f:
|
|
content = f.read()
|
|
if "DEEPSEEK_API_KEY" not in content:
|
|
print("[WARN] .env: DEEPSEEK_API_KEY is missing. Cloud Pro mode will fail.")
|
|
if "LINEAR_API_KEY=your_linear_api_key_here" in content:
|
|
print("[WARN] .env: Linear API key is a placeholder.")
|
|
else:
|
|
print("[FAIL] .env file not found.")
|
|
|
|
if __name__ == "__main__":
|
|
print("SOVEREIGN RESEARCH STACK - SYSTEM INTERROGATION")
|
|
print("===============================================")
|
|
audit_lean()
|
|
audit_python_math()
|
|
audit_mcp_config()
|
|
audit_env()
|
|
print("\nInterrogation complete.")
|