刀库程序可以通过添加适当的语句来让一把刀在完成工作之后停下来。例如，可以使用条件语句来检查刀完成的数量是否与预设的数量相等。如果相等，可以使用循环语句来让程序停止执行。

另外，还可以使用信号量来控制程序的执行，当刀完成工作时发送一个信号量，程序根据信号量控制是否停止执行。

在编写程序时还需注意程序的异常情况处理，如意外中断或意外退出等。通过这些措施，可以让刀库程序控制一把刀完成工作后自动停止，提高生产效率和安全性。