lean-lsp-mcp 0.10.0__py3-none-any.whl → 0.10.1__py3-none-any.whl

lean_lsp_mcp/server.py

@@ -529,7 +529,7 @@ def run_code(ctx: Context, code: str) -> List[str] | str:
     abs_path = lean_project_path / rel_path
 
     try:
-        with open(abs_path, "w") as f:
+        with open(abs_path, "w", encoding="utf-8") as f:
             f.write(code)
     except Exception as e:
         return f"Error writing code snippet to file `{abs_path}`:\n{str(e)}"

lean_lsp_mcp/utils.py

@@ -16,7 +16,9 @@ class OutputCapture:
         self.captured_output = ""
 
     def __enter__(self):
-        self.temp_file = tempfile.NamedTemporaryFile(mode="w+", delete=False)
+        self.temp_file = tempfile.NamedTemporaryFile(
+            mode="w+", delete=False, encoding="utf-8"
+        )
         self.original_stdout_fd = os.dup(sys.stdout.fileno())
         self.original_stderr_fd = os.dup(sys.stderr.fileno())
         os.dup2(self.temp_file.fileno(), sys.stdout.fileno())

{lean_lsp_mcp-0.10.0.dist-info → lean_lsp_mcp-0.10.1.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: lean-lsp-mcp
-Version: 0.10.0
+Version: 0.10.1
 Summary: Lean Theorem Prover MCP
 Author-email: Oliver Dressler <hey@oli.show>
 License-Expression: MIT

{lean_lsp_mcp-0.10.0.dist-info → lean_lsp_mcp-0.10.1.dist-info}/RECORD

@@ -4,11 +4,11 @@ lean_lsp_mcp/client_utils.py,sha256=mN0wQlGLMVR8bV0OqVJ8YHq6vUoty4MzebvA9A3u4dM,
 lean_lsp_mcp/file_utils.py,sha256=6dVceZOCb28KsKtoub4QPD272TrtKzFZedg4H-N6KgA,2926
 lean_lsp_mcp/instructions.py,sha256=qdGW1Qh14Gb_ezrMLU_SrS_F1X_r065KIsQu0HamwnU,825
 lean_lsp_mcp/search_utils.py,sha256=cNpWzR1TuNyvRxCeCIb0HoEHGsCIW1ypqN1R1ZpbkdI,4170
-lean_lsp_mcp/server.py,sha256=BBWGXJSTnZMBwCGrvFs4gteg-EJPUoBvXh0lim8XnVo,27977
-lean_lsp_mcp/utils.py,sha256=KoA2L0SswQQSdv_F1hS8xPwVdL8Tzuke9xSXB_RpsTo,6000
-lean_lsp_mcp-0.10.0.dist-info/licenses/LICENSE,sha256=CQlxnf0tQyoVrBE93JYvAUYxv6Z5Yg6sX0pwogOkFvo,1071
-lean_lsp_mcp-0.10.0.dist-info/METADATA,sha256=sg4Y9KslwT6ztqkukDNjB6N24CFe3G6XDVbl6-f8mt8,17455
-lean_lsp_mcp-0.10.0.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
-lean_lsp_mcp-0.10.0.dist-info/entry_points.txt,sha256=nQbvwctWkWD7I-2f4VrdVQBZYGUw8CnUnFC6QjXxOSE,51
-lean_lsp_mcp-0.10.0.dist-info/top_level.txt,sha256=LGEK0lgMSNPIQ6mG8EO-adaZEGPi_0daDs004epOTF0,13
-lean_lsp_mcp-0.10.0.dist-info/RECORD,,
+lean_lsp_mcp/server.py,sha256=su-e52pgsczlFJWrGiUOWsGjlZ3wsv3txhH1u3pirOI,27995
+lean_lsp_mcp/utils.py,sha256=8wqjD5gfZhIkM1vLxvLoDkh-RQx_kDrxdRRUb1VQAbI,6040
+lean_lsp_mcp-0.10.1.dist-info/licenses/LICENSE,sha256=CQlxnf0tQyoVrBE93JYvAUYxv6Z5Yg6sX0pwogOkFvo,1071
+lean_lsp_mcp-0.10.1.dist-info/METADATA,sha256=GagjAFqDoOntIJcazBaj_mJE4-d4em5jOaY4FLe4HC0,17455
+lean_lsp_mcp-0.10.1.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
+lean_lsp_mcp-0.10.1.dist-info/entry_points.txt,sha256=nQbvwctWkWD7I-2f4VrdVQBZYGUw8CnUnFC6QjXxOSE,51
+lean_lsp_mcp-0.10.1.dist-info/top_level.txt,sha256=LGEK0lgMSNPIQ6mG8EO-adaZEGPi_0daDs004epOTF0,13
+lean_lsp_mcp-0.10.1.dist-info/RECORD,,