Slither not running. pls help out

[meshaqMiracles]

I've been trying to run slither for a while but it keeps returning errors
I sought help from AI but still no solution, keep failing to check

Here are the errors :

ERROR:Slither:File slither.config.json is not a file or does not exist
ERROR:Slither:Falling back to the default settings...
'forge config --json' running
'C:/Users/thinkpad13/.solc-select/artifacts/solc-0.8.27/solc-0.8.27 --version' running
'C:/Users/thinkpad13/.solc-select/artifacts/solc-0.8.27/solc-0.8.27 @solady/=lib/solady/src/ @permit2/=lib/permit2/src/ @openzeppelin/=lib/openzeppelin-contracts/contracts/ @openzeppelin-contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/ solady/=lib/solady/src/ @gte-univ2-core/=lib/gte-univ2/src/ ds-test/=lib/permit2/lib/forge-std/lib/ds-test/src/ erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/ forge-gas-snapshot/=lib/permit2/lib/forge-gas-snapshot/src/ forge-std/=lib/forge-std/src/ halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/ openzeppelin-contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/ openzeppelin-contracts/=lib/openzeppelin-contracts/ permit2/=lib/permit2/ solmate/=lib/permit2/lib/solmate/ contracts/perps/modules/LiquidatorPanel.sol --combined-json abi,ast,bin,bin-runtime,srcmap,srcmap-runtime,userdoc,devdoc,hashes --optimize --optimize-runs 200 --evm-version cancun --allow-paths .,C:\Users\thinkpad13\my-sec-projects\live-sec-projects\2025-08-gte-perps\contracts\perps\modules' running
Compilation warnings/errors on contracts/perps/modules/LiquidatorPanel.sol:
Warning: Transient storage as defined by EIP-1153 can break the composability of smart contracts: Since transient storage is cleared only at the end of the transaction and not at the end of the outermost call frame to the contract within a transaction, your contract may unintentionally misbehave when invoked multiple times in a complex transaction. To avoid this, be sure to clear all transient storage at the end of any call to your contract. The use of transient storage for reentrancy guards that are cleared at the end of the call is safe.
  --> contracts/perps/types/BackstopLiquidatorDataLib.sol:19:33:
   |
19 |             if iszero(exists) { tstore(slot, 1) }
   |                                 ^^^^^^

Warning: Contract code size is 29919 bytes and exceeds 24576 bytes (a limit introduced in Spurious Dragon). This contract may not be deployable on Mainnet. Consider enabling the optimizer (with a low "runs" value!), turning off revert strings, or using libraries.
  --> contracts/perps/modules/LiquidatorPanel.sol:40:1:
   |
40 | contract LiquidatorPanel is OwnableRoles {
   | ^ (Relevant source part starts here and spans across multiple lines).


ERROR:SlitherSolcParsing:
Failed to generate IR for InsuranceFundLib.pay. Please open an issue https://github.com/crytic/slither/issues.
InsuranceFundLib.pay (contracts/perps/types/InsuranceFund.sol#28-31):
        amount == 0
        self.balance += amount
Traceback (most recent call last):
  File "<frozen runpy>", line 198, in _run_module_as_main
  File "<frozen runpy>", line 88, in _run_code
  File "C:\Python313\Scripts\slither.exe\__main__.py", line 6, in <module>
    sys.exit(main())
             ~~~~^^
  File "C:\Python313\Lib\site-packages\slither\__main__.py", line 776, in main
    main_impl(all_detector_classes=detectors, all_printer_classes=printers)
    ~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "C:\Python313\Lib\site-packages\slither\__main__.py", line 882, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
        ~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "C:\Python313\Lib\site-packages\slither\__main__.py", line 107, in process_all
    ) = process_single(compilation, args, detector_classes, printer_classes)
        ~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "C:\Python313\Lib\site-packages\slither\__main__.py", line 80, in process_single
    slither = Slither(target, ast_format=ast, **vars(args))
  File "C:\Python313\Lib\site-packages\slither\slither.py", line 202, in __init__
    self._init_parsing_and_analyses(kwargs.get("skip_analyze", False))
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "C:\Python313\Lib\site-packages\slither\slither.py", line 221, in _init_parsing_and_analyses
    raise e
  File "C:\Python313\Lib\site-packages\slither\slither.py", line 217, in _init_parsing_and_analyses
    parser.analyze_contracts()
    ~~~~~~~~~~~~~~~~~~~~~~~~^^
  File "C:\Python313\Lib\site-packages\slither\solc_parsing\slither_compilation_unit_solc.py", line 593, in analyze_contracts    
    self._convert_to_slithir()
    ~~~~~~~~~~~~~~~~~~~~~~~~^^
  File "C:\Python313\Lib\site-packages\slither\solc_parsing\slither_compilation_unit_solc.py", line 828, in _convert_to_slithir  
    raise e
  File "C:\Python313\Lib\site-packages\slither\solc_parsing\slither_compilation_unit_solc.py", line 813, in _convert_to_slithir  
    func.generate_slithir_and_analyze()
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^
  File "C:\Python313\Lib\site-packages\slither\core\declarations\function.py", line 1878, in generate_slithir_and_analyze        
    node.slithir_generation()
    ~~~~~~~~~~~~~~~~~~~~~~~^^
  File "C:\Python313\Lib\site-packages\slither\core\cfg\node.py", line 706, in slithir_generation
    self._irs = convert_expression(expression, self)  # type:ignore
                ~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^
  File "C:\Python313\Lib\site-packages\slither\slithir\convert.py", line 114, in convert_expression
    visitor = ExpressionToSlithIR(expression, node)
  File "C:\Python313\Lib\site-packages\slither\visitors\slithir\expression_to_slithir.py", line 174, in __init__
    self._visit_expression(self.expression)
    ~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^
  File "C:\Python313\Lib\site-packages\slither\visitors\expression\expression.py", line 78, in _visit_expression
    self._post_visit(expression)
    ~~~~~~~~~~~~~~~~^^^^^^^^^^^^
  File "C:\Python313\Lib\site-packages\slither\visitors\expression\expression.py", line 252, in _post_visit
    self._post_assignement_operation(expression)
    self._post_visit(expression)
    ~~~~~~~~~~~~~~~~^^^^^^^^^^^^
  File "C:\Python313\Lib\site-packages\slither\visitors\expression\expression.py", line 252, in _post_visit
    self._post_assignement_operation(expression)
    ~~~~~~~~~~~~~~~~^^^^^^^^^^^^
  File "C:\Python313\Lib\site-packages\slither\visitors\expression\expression.py", line 252, in _post_visit
    self._post_assignement_operation(expression)
  File "C:\Python313\Lib\site-packages\slither\visitors\expression\expression.py", line 252, in _post_visit
    self._post_assignement_operation(expression)
    self._post_assignement_operation(expression)
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^
  File "C:\Python313\Lib\site-packages\slither\visitors\slithir\expression_to_slithir.py", line 275, in _post_assignement_operati  File "C:\Python313\Lib\site-packages\slither\visitors\slithir\expression_to_slithir.py", line 275, in _post_assignement_operation
    operation = convert_assignment(
        left, right, expression.type, expression.expression_return_type
    )
  File "C:\Python313\Lib\site-packages\slither\visitors\slithir\expression_to_slithir.py", line 152, in convert_assignment       
    return Binary(left, left, right, BinaryType.ADDITION)
  File "C:\Python313\Lib\site-packages\slither\slithir\operations\binary.py", line 113, in __init__
    assert is_valid_lvalue(result)
           ~~~~~~~~~~~~~~~^^^^^^^^
AssertionError

[EngrPips]

@PatrickAlphaC your insight is needed sir.