Supporting Multiple LLM Models in Solidsight v8

Expanding the Tool's Capabilities

Smart contract analyses can vary greatly in complexity and purpose. Realising this, I added support for multiple LLM models, allowing users to tailor analyses according to specific needs. This flexibility transformed Solidsight into a much more versatile tool.

Multi-model Support

I introduced a simple yet effective model-selection prompt using Rich:

pythonCopyEditanalysis_model = Prompt.ask(
    "Select your analysis model", 
    choices=["deepseek-r1", "qwen2.5-coder:3b", "gemma3:4b"], 
    default="deepseek-r1"
)

Challenges in Implementation

Different models required slight prompt adjustments due to their varied interpretations and output formats. It took careful prompt engineering and extensive testing to achieve consistency across models.

Lessons Learned

The value of modular design became clear—flexibility allowed Solidsight to adapt easily to varying analysis requirements.

We will stop here, and I’ll see you on the next one.

pxng0lin.

/4 Adding Flexibility – Supporting Multiple LLM Models (Solidsight v8)

Comments

I Am NotADev

/5 Managing Sessions & Historical Analyses (Solidsight v9 & v10)

More from this blog

/6 Robustness & Diagram Validation – Polishing the Final Version (Solidsight v11)

/5 Managing Sessions & Historical Analyses (Solidsight v9 & v10)

SFA: /3 Optimising Workflow and Enhancing Robustness (v4 & v5)

/3 Improving Readability & Engagement – The Rich Library Integration (Solidsight v5, v6, & v7)

Expanding the Tool's Capabilities

Multi-model Support

Challenges in Implementation

Lessons Learned

Command Palette

Comments

I Am NotADev

/5 Managing Sessions & Historical Analyses (Solidsight v9 & v10)

More from this blog

Expanding the Tool's Capabilities

Multi-model Support

Challenges in Implementation

Lessons Learned