Merge pull request #40 from mumei-lang/develop

PR from develop to main

Author: AkiraTamai

Cargo.toml

@@ -30,7 +30,7 @@ z3 = "0.12"
 inkwell = { version = "0.5.0", features = ["llvm17-0"] }
 
 # HTTP クライアント: std.http の FFI バックエンド
-reqwest = { version = "0.12", features = ["blocking", "json"] }
+reqwest = { version = "0.12", default-features = false, features = ["blocking", "json", "rustls-tls"] }
 
 # レポート出力: 検証結果の JSON 書き出し
 serde_json = "1.0"