mwritescode/slither-audited-smart-contracts
Viewer • Updated • 467k • 906 • 61
How to use Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized with llama.cpp:
curl -LsSf https://llama.app/install.sh | sh # Start a local OpenAI-compatible server with a web UI: llama serve -hf Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized:Q4_K_M # Run inference directly in the terminal: llama cli -hf Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized:Q4_K_M
winget install llama.cpp # Start a local OpenAI-compatible server with a web UI: llama serve -hf Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized:Q4_K_M # Run inference directly in the terminal: llama cli -hf Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized:Q4_K_M
# Download pre-built binary from: # https://github.com/ggerganov/llama.cpp/releases # Start a local OpenAI-compatible server with a web UI: ./llama-server -hf Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized:Q4_K_M # Run inference directly in the terminal: ./llama-cli -hf Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized:Q4_K_M
git clone https://github.com/ggerganov/llama.cpp.git cd llama.cpp cmake -B build cmake --build build -j --target llama-server llama-cli # Start a local OpenAI-compatible server with a web UI: ./build/bin/llama-server -hf Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized:Q4_K_M # Run inference directly in the terminal: ./build/bin/llama-cli -hf Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized:Q4_K_M
docker model run hf.co/Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized:Q4_K_M
How to use Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized with Ollama:
ollama run hf.co/Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized:Q4_K_M
How to use Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized with Docker Model Runner:
docker model run hf.co/Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized:Q4_K_M
How to use Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized with Lemonade:
# Download Lemonade from https://lemonade-server.ai/ lemonade pull Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized:Q4_K_M
lemonade run user.DeepSeek-SmartContractVulnDetect-Quantized-Q4_K_M
lemonade list
4-bit
Base model
deepseek-ai/DeepSeek-R1
docker model run hf.co/Hawks-vision/DeepSeek-SmartContractVulnDetect-Quantized:Q4_K_M