Instructions to use TheMightyMaddy/verilog-agent-llama31-q4 with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Notebooks
- Google Colab
- Kaggle
- Local Apps Settings
- llama.cpp
How to use TheMightyMaddy/verilog-agent-llama31-q4 with llama.cpp:
Install (macOS, Linux)
curl -LsSf https://llama.app/install.sh | sh # Start a local OpenAI-compatible server with a web UI: llama serve -hf TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M # Run inference directly in the terminal: llama cli -hf TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M
Install from WinGet (Windows)
winget install llama.cpp # Start a local OpenAI-compatible server with a web UI: llama serve -hf TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M # Run inference directly in the terminal: llama cli -hf TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M
Use pre-built binary
# 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 TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M # Run inference directly in the terminal: ./llama-cli -hf TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M
Build from source code
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 TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M # Run inference directly in the terminal: ./build/bin/llama-cli -hf TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M
Use Docker
docker model run hf.co/TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M
- LM Studio
- Jan
- vLLM
How to use TheMightyMaddy/verilog-agent-llama31-q4 with vLLM:
Install from pip and serve model
# Install vLLM from pip: pip install vllm # Start the vLLM server: vllm serve "TheMightyMaddy/verilog-agent-llama31-q4" # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:8000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "TheMightyMaddy/verilog-agent-llama31-q4", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }'Use Docker
docker model run hf.co/TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M
- Ollama
How to use TheMightyMaddy/verilog-agent-llama31-q4 with Ollama:
ollama run hf.co/TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M
- Unsloth Desktop
- Pi
How to use TheMightyMaddy/verilog-agent-llama31-q4 with Pi:
Start the llama.cpp server
# Install llama.cpp: brew install llama.cpp # Start a local OpenAI-compatible server: llama serve -hf TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M
Configure the model in Pi
# Install Pi: npm install -g @earendil-works/pi-coding-agent # Add to ~/.pi/agent/models.json: { "providers": { "llama-cpp": { "baseUrl": "http://localhost:8080/v1", "api": "openai-completions", "apiKey": "none", "models": [ { "id": "TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M" } ] } } }Run Pi
# Start Pi in your project directory: pi
- Docker Model Runner
How to use TheMightyMaddy/verilog-agent-llama31-q4 with Docker Model Runner:
docker model run hf.co/TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M
- Lemonade
How to use TheMightyMaddy/verilog-agent-llama31-q4 with Lemonade:
Pull the model
# Download Lemonade from https://lemonade-server.ai/ lemonade pull TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M
Run and chat with the model
lemonade run user.verilog-agent-llama31-q4-Q4_K_M
List all available models
lemonade list
- Hermes Agent
How to use TheMightyMaddy/verilog-agent-llama31-q4 with Hermes Agent:
Start the llama.cpp server
# Install llama.cpp: brew install llama.cpp # Start a local OpenAI-compatible server: llama serve -hf TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M
Configure Hermes
# Install Hermes: curl -fsSL https://hermes-agent.nousresearch.com/install.sh | bash hermes setup # Point Hermes at the local server: hermes config set model.provider custom hermes config set model.base_url http://127.0.0.1:8080/v1 hermes config set model.default TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M
Run Hermes
hermes
- Atomic Chat
- OpenClaw
How to use TheMightyMaddy/verilog-agent-llama31-q4 with OpenClaw:
Start the llama.cpp server
# Install llama.cpp: brew install llama.cpp # Start a local OpenAI-compatible server: llama serve -hf TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M
Configure OpenClaw
# Install OpenClaw: npm install -g openclaw@latest # Register the local server and set it as the default model: openclaw onboard --non-interactive --mode local \ --auth-choice custom-api-key \ --custom-base-url http://127.0.0.1:8080/v1 \ --custom-model-id "TheMightyMaddy/verilog-agent-llama31-q4:Q4_K_M" \ --custom-provider-id llama-cpp \ --custom-compatibility openai \ --custom-text-input \ --accept-risk \ --skip-health
Run OpenClaw
openclaw agent --local --agent main --message "Hello from Hugging Face"
๐ง Verilog Agent LLaMA 3.1 8B (Q4_K_M GGUF)
A fine-tuned version of Meta LLaMA 3.1 8B Instruct, specialized for Verilog code generation, debugging, and hardware design assistance. Converted to GGUF format for efficient local inference.
Fine-tuned and converted using Unsloth โ 2x faster training with 60% less VRAM.
๐ Quick Start
llama.cpp
# Text generation
llama-cli -hf Asssssy/verilog-agent-llama31-q4 --jinja
# Interactive mode
llama-cli -hf Asssssy/verilog-agent-llama31-q4 --jinja -i
Ollama
ollama run Asssssy/verilog-agent-llama31-q4
LM Studio
Search Asssssy/verilog-agent-llama31-q4 directly in LM Studio's model browser.
๐ฆ Available Files
| File | Quantization | Size | Use Case |
|---|---|---|---|
Meta-Llama-3.1-8B-Instruct.Q4_K_M.gguf |
Q4_K_M | ~4.5GB | Best balance of speed & quality |
๐ก Example Usage
from llama_cpp import Llama
llm = Llama.from_pretrained(
repo_id="Asssssy/verilog-agent-llama31-q4",
filename="Meta-Llama-3.1-8B-Instruct.Q4_K_M.gguf",
)
response = llm.create_chat_completion(
messages=[
{"role": "system", "content": "You are an expert Verilog hardware design assistant."},
{"role": "user", "content": "Write a 4-bit counter in Verilog."}
]
)
print(response["choices"][0]["message"]["content"])
๐ง Model Details
| Property | Value |
|---|---|
| Base Model | Meta-LLaMA 3.1 8B Instruct |
| Fine-tuning Method | LoRA (QLoRA 4-bit) |
| Quantization | Q4_K_M |
| Max Sequence Length | 2048 |
| Domain | Verilog / Hardware Design |
| Framework | Unsloth + HuggingFace |
โ๏ธ System Prompt
For best results, use this system prompt: " You are an expert Verilog and digital hardware design assistant. Help users write correct, synthesizable Verilog code. Explain your reasoning and flag any potential timing or synthesis issues."
โ ๏ธ Limitations
- Specialized for Verilog โ general coding tasks may have reduced performance
- Based on LLaMA 3.1 8B โ larger models may outperform on complex designs
- Always verify generated Verilog with a simulator (e.g. Icarus Verilog, ModelSim)
๐ License
This model is based on Meta LLaMA 3.1 and inherits its license. Please review Meta's usage policy before deploying.
- Downloads last month
- 32
4-bit
Model tree for TheMightyMaddy/verilog-agent-llama31-q4
Base model
meta-llama/Llama-3.1-8B