Closed acuarica closed 5 months ago
Description:
This PR adds a new tools.md doc where we can document how tools interact and work with the verification service. Currently, we added Foundry description.
tools.md
Related issue(s):
Fixes #
Notes for reviewer:
Checklist
Description:
This PR adds a new
tools.md
doc where we can document how tools interact and work with the verification service. Currently, we added Foundry description.Related issue(s):
Fixes #
Notes for reviewer:
Checklist