(connection: McpConnection)
| 463 | Effect.gen(function* () { |
| 464 | const args = argsRecord(input.args); |
| 465 | const use = (connection: McpConnection) => |
| 466 | useConnection(connection, input.toolName, args, input.elicit, input.onToolListChanged); |
| 467 | |
| 468 | if (input.connectionPool && input.connectionPoolKey) { |
| 469 | return yield* input.connectionPool.withConnection( |