MySQL Workbench knows what Stored Procedures are and will automatically file them when detected
However, based on my experience so far, it is not instantaneous, you need to refresh the interface if the procedure is written outside of Workbench
Here is where they should show up