🎉 Smithery is now a part of Arcade.dev! Read more in our announcement here
Neuro-symbolic AI combining LLMs with symbolic solvers...
