LIBRA：通过运行时装配归纳可执行工具库

论文提出 LIBRA 框架，用 LLM 为每个工具生成候选调用、可复用输出、状态变化和成功条件的契约，再在沙箱中测试这些组合，只保留运行时验证成立的工具关系，从而把扁平工具目录变成可执行工具库。