Migrate from setup.py to pyproject.toml

.claude/settings.json

@@ -0,0 +1,114 @@
+{
+  "version": "1.0",
+  "description": "Claude settings for Manticore symbolic execution framework",
+  "allowed_tools": [
+    {
+      "tool": "Bash",
+      "patterns": [
+        "python *",
+        "pip install*",
+        "pip show*",
+        "uv pip install*",
+        "uv venv*",
+        "uv run ruff check*",
+        "uv run ruff format*",
+        "uv run pytest*",
+        "uv run mypy*",
+        "uv run python*",
+        "solc-select install*",
+        "solc-select use*",
+        "solc-select versions",
+        "pytest*",
+        "python -m pytest*",
+        "coverage run*",
+        "coverage report*",
+        "coverage html*",
+        "timeout *",
+        "gcc*",
+        "make*",
+        "make clean",
+        "nm *",
+        "objdump*",
+        "readelf*",
+        "cat *",
+        "head *",
+        "tail *",
+        "grep *",
+        "grep -r*",
+        "grep -n*",
+        "ls*",
+        "ls -la*",
+        "cp *",
+        "echo *",
+        "xxd *",
+        "rg *",
+        "fd *",
+        "git status",
+        "git diff*",
+        "git log*",
+        "git branch*",
+        "git show*",
+        "git ls-files*",
+        "manticore*",
+        "manticore-verifier*",
+        "python -m manticore*",
+        "python tests/*",
+        "python examples/*",
+        "python scripts/*",
+        "ruff check*",
+        "ruff format*",
+        "mypy*",
+        "python --version",
+        "uname*",
+        "which*",
+        "pwd",
+        "echo $*",
+        "find tests/*",
+        "find examples/*",
+        "wc*",
+        "ps*",
+        "kill*",
+        "pkill*",
+        "solc --version",
+        "python -c *"
+      ]
+    },
+    {
+      "tool": "Read",
+      "patterns": [
+        "**/*.py",
+        "**/*.c",
+        "**/*.cpp",
+        "**/*.h",
+        "**/*.sol",
+        "**/*.txt",
+        "**/*.md",
+        "**/*.yml",
+        "**/*.yaml",
+        "**/*.json",
+        "**/*.toml",
+        "**/*.cfg",
+        "**/*.ini",
+        "**/*.sh",
+        "**/Makefile",
+        "**/.gitignore",
+        "**/requirements*.txt",
+        "**/pyproject.toml",
+        "**/setup.py",
+        "**/setup.cfg"
+      ]
+    },
+    {
+      "tool": "Grep",
+      "patterns": ["*"]
+    },
+    {
+      "tool": "Glob",
+      "patterns": ["*"]
+    },
+    {
+      "tool": "LS",
+      "patterns": ["*"]
+    }
+  ]
+}

.dockerignore

@@ -0,0 +1,31 @@
+.venv/
+venv/
+__pycache__/
+*.pyc
+*.pyo
+*.pyd
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+.git/
+.github/
+.pytest_cache/
+.mypy_cache/
+.tox/
+.coverage
+.coverage.*
+htmlcov/
+.hypothesis/