ESBMC-AI

[Aisha-Sharma]

Hi @Yiannis128,
I have API access to OpenAI but not to Hugging Face. Is it mandatory to have Hugging Face API access, or can we just disable it?

[Yiannis128]

It's not mandatory to have any API key. If your AI model is using a service such as OpenAI, then specify an OpenAI key. If it's using HuggingFace, then specify that.

[Aisha-Sharma]

Thanks @Yiannis128, I used below two steps to set up esbmc-ai:

1. pip install esbmc-ai
2. esbmc-ai ...
   Now the second command says like below. Initially the error was No $OPENAI_API_KEY in environment so I added my api key in environment. Now could you help me disable the hugging face so that I can use the tool? Thanks in advance for your help with this!

ESBMC-AI v0.5.1
Made by Yiannis Charalambous

Error: No $HUGGINGFACE_API_KEY in environment.

[Yiannis128]

I see what the problem is, this is a bug. I am going to push a fix for it soon. I. The meantime set the hugging face API key to anything as it will not be read. ESBMC-AI will check it's set and simply not use it.

export HUGGINGFACE_API_KEY=whatever

[Aisha-Sharma]

Thanks a lot @Yiannis128.

[Yiannis128]

Glad I could help, please reach out if you require further help 👍