Add slither security analysis package

Author: zah

.agents/tasks/2025/06/06-1315-add-slither.txt

@@ -0,0 +1,9 @@
+1. Create `packages/slither/default.nix` implementing a Nix expression using `python3Packages.buildPythonApplication`.
+
+   * Fetch the PyPI release `slither-analyzer` (e.g. version `0.11.3`).
+   * Include propagated dependencies such as `packaging`, `prettytable`, `pycryptodome`, `crytic-compile`, `web3`, `eth-abi`, `eth-typing`, and `eth-utils`.
+   * Set `mainProgram = "slither"` in `meta`.
+2. Register the package in `packages/all-packages.nix` inside `legacyPackages.metacraft-labs`.
+3. Optionally list the new package in `README.md` under a “Security and Static Analysis” section.
+
+Make sure that the package works

README.md

@@ -83,6 +83,12 @@ via one of the flake output categories:
 | -------------------------- | ---------------------------------------------- | ------------------- |
 | [pistache]([pistache-url]) | A high-performance REST toolkit written in C++ | x86_64-linux        |
 
+### Security and Static Analysis
+
+| package name | description | supported platforms |
+| ------------ | ----------- | ------------------- |
+| [slither]([slither-url]) | Static analysis framework for Solidity | x86_64-linux, x86_64-darwin |
+
 [cosmos-url]: https://github.com/hyphacoop/testnets/blob/master/local/previous-local-testnets/v7-theta/priv_validator_key.json
 [emscripten-url]: https://github.com/emscripten-core/emscripten
 [avalanche-url]: https://github.com/ava-labs/avalanche-cli
@@ -112,6 +118,7 @@ via one of the flake output categories:
 [rapidsnark-url]: https://github.com/iden3/rapidsnark-old
 [wasmd-url]: https://github.com/CosmWasm/wasmd
 [polkadot-fast-url]: https://github.com/paritytech/polkadot/blob/52209dcfe546ff39cc031b92d64e787e7e8264d4/Cargo.toml#L228
+[slither-url]: https://github.com/crytic/slither
 
 ## Usage examples
 

packages/all-packages.nix

@@ -185,6 +185,7 @@
           };
 
           inherit corepack-shims;
+          slither = callPackage ./slither { };
         }
         // lib.optionalAttrs hostPlatform.isLinux rec {
           kurtosis = callPackage ./kurtosis/default.nix { };

packages/slither/default.nix

@@ -0,0 +1,33 @@
+{ lib, python3Packages }:
+
+python3Packages.buildPythonApplication rec {
+  pname = "slither";
+  version = "0.11.3";
+
+  src = python3Packages.fetchPypi {
+    pname = "slither_analyzer";
+    inherit version;
+    sha256 = "09953ddb89d9ab182aa5826bda6fa3da482c82b5ffa371e34b35ba766044616e";
+  };
+
+  propagatedBuildInputs = with python3Packages; [
+    packaging
+    prettytable
+    pycryptodome
+    crytic-compile
+    web3
+    eth-abi
+    eth-typing
+    eth-utils
+  ];
+
+  doCheck = false;
+
+  meta = with lib; {
+    description = "Static analysis framework for Solidity";
+    homepage = "https://github.com/crytic/slither";
+    license = licenses.agpl3;
+    mainProgram = "slither";
+    platforms = platforms.all;
+  };
+}