Add status checks for tool servers

herbie-fp / odyssey

A platform for exploring floating-point expressions :boat:

https://herbie-fp.github.io/odyssey/

MIT License

18 stars 0 forks source link

Open elmisback opened 3 months ago

elmisback commented 3 months ago

Tool servers should have an endpoint similar to Herbie's /up that allows Odyssey to check if the tool is available.

elmisback commented 2 weeks ago

Related to #56